Bibtex

Frank Piessens, Bart Jacobs, Gary T. Leavens, Special Section on Formal Techniques for Java-like Programs

Back

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access