Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth
Specification and reasoning in SE projects using a Web IDE
CSEET, 2013.
@inproceedings{CSEET-2013-CookDSSCH, author = "Charles T. Cook and Svetlana Drachova-Strang and Yu-Shan Sun and Murali Sitaraman and Jeffrey C. Carver and Joseph E. Hollingsworth", booktitle = "{Proceedings of the 26th Conference on Software Engineering Education and Training}", doi = "10.1109/CSEET.2013.6595254", pages = "229--238", publisher = "{IEEE}", title = "{Specification and reasoning in SE projects using a Web IDE}", year = 2013, }