Hesam Samimi, Ei Darli Aung, Todd D. Millstein
Falling Back on Executable Specifications
ECOOP, 2010.
@inproceedings{ECOOP-2010-SamimiAM, author = "Hesam Samimi and Ei Darli Aung and Todd D. Millstein", booktitle = "{Proceedings of the 24th European Conference on Object-Oriented Programming}", doi = "10.1007/978-3-642-14107-2_26", editor = "Theo D'Hondt", isbn = "978-3-642-14106-5", pages = "552--576", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Falling Back on Executable Specifications}", volume = 6183, year = 2010, }