The Krakatoa tool for JML/Java program certification (2004)

by C Marché, C Paulin-Mohring, X Urbain
Venue:Journal of Logic and Algebraic Programming