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]
Abstract is missing.