| tipoW-Damiani:FMSPLE-2012 (In proceedings)
|
| Author(s) | Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen and Ingrid Chieh Yu |
| Title | « A transformational proof system for delta-oriented programming » |
| In | Proceedings of the 16th International Software Product Line Conference - Volume 2 |
| Series | SPLC '12 |
| Page(s) | 53--60 |
| Year | 2012 |
| Publisher | ACM |
| Address | New York, NY, USA |
| ISBN number | 978-1-4503-1095-6 |
| URL | http://doi.acm.org/10.1145/2364412.2364422 |
| Keywords |
| Keywords: program verification, proof system, software product line
|
@inproceedings{tipoW-Damiani:FMSPLE-2012,
location = {Salvador, Brazil},
author = {Damiani, Ferruccio and Owe, Olaf and Dovland, Johan and Schaefer,
Ina and Johnsen, Einar Broch and Yu, Ingrid Chieh},
series = {SPLC '12},
keywords = {program verification, proof system, software product line},
numpages = {8},
acmid = {2364422},
booktitle = {Proceedings of the 16th International Software Product Line
Conference - Volume 2},
url = {http://doi.acm.org/10.1145/2364412.2364422},
address = {New York, NY, USA},
title = {A transformational proof system for delta-oriented programming},
isbn = {978-1-4503-1095-6},
publisher = {ACM},
doi = {10.1145/2364412.2364422},
year = {2012},
pages = {53--60},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
