A Logic for the Java Modeling Language JML (2001)

by Bart Jacobs , Erik Poll
Venue:Fundamental Approaches to Software Engineering (FASE), volume 2029 of LNCS
Citations:54 - 16 self