Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu. A transformational proof system for delta-oriented programming. In Eduardo Santana de Almeida, Christa Schwanninger, David Benavides, editors, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 2. pages 53-60, ACM, 2012. [doi]
@inproceedings{DamianiODSJY12,
title = {A transformational proof system for delta-oriented programming},
author = {Ferruccio Damiani and Olaf Owe and Johan Dovland and Ina Schaefer and Einar Broch Johnsen and Ingrid Chieh Yu},
year = {2012},
doi = {10.1145/2364412.2364422},
url = {http://doi.acm.org/10.1145/2364412.2364422},
researchr = {https://researchr.org/publication/DamianiODSJY12},
cites = {0},
citedby = {0},
pages = {53-60},
booktitle = {16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 2},
editor = {Eduardo Santana de Almeida and Christa Schwanninger and David Benavides},
publisher = {ACM},
isbn = {978-1-4503-1095-6},
}