Mauricio Alba-Castro, María Alpuente, Santiago Escobar. Automatic Certification of Java Source Code in Rewriting Logic. In Stefan Leue, Pedro Merino, editors, Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Volume 4916 of Lecture Notes in Computer Science, pages 200-217, Springer, 2007. [doi]
@inproceedings{Alba-CastroAE07,
title = {Automatic Certification of Java Source Code in Rewriting Logic},
author = {Mauricio Alba-Castro and María Alpuente and Santiago Escobar},
year = {2007},
doi = {10.1007/978-3-540-79707-4_15},
url = {http://dx.doi.org/10.1007/978-3-540-79707-4_15},
tags = {Java, source-to-source, graph-rewriting, certification, logic, rewriting logic, rewriting, open-source},
researchr = {https://researchr.org/publication/Alba-CastroAE07},
cites = {0},
citedby = {0},
pages = {200-217},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers},
editor = {Stefan Leue and Pedro Merino},
volume = {4916},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-79706-7},
}