Oscar Callaú
Supporting incremental programming with ghosts
ICSE, 2013.
@inproceedings{ICSE-2013-Callau, acmid = "2487025", author = "Oscar Callaú", booktitle = "{Proceedings of the 35th International Conference on Software Engineering}", editor = "David Notkin and Betty H. C. Cheng and Klaus Pohl", isbn = "978-1-4673-3076-3", pages = "1429--1431", publisher = "{IEEE / ACM}", title = "{Supporting incremental programming with ghosts}", year = 2013, }