Supporting incremental programming with ghosts

Oscar Callaú. Supporting incremental programming with ghosts. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 1429-1431, IEEE / ACM, 2013. [doi]

@inproceedings{Callau04,
  title = {Supporting incremental programming with ghosts},
  author = {Oscar Callaú},
  year = {2013},
  url = {http://dl.acm.org/citation.cfm?id=2487025},
  researchr = {https://researchr.org/publication/Callau04},
  cites = {0},
  citedby = {0},
  pages = {1429-1431},
  booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
  editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
  publisher = {IEEE / ACM},
  isbn = {978-1-4673-3076-3},
}