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]
No references recorded for this publication.
No citations of this publication recorded.