1. Experience report: evolution of a web‐integrated software development and verification environment. (24th February 2014) Authors: Cook, Charles T.; Sun, Yu‐Shan; Sitaraman, Murali Journal: Software, practice & experience Issue: Volume 45:Number 6(2015) Page Start: 857 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗