Formal encoding of JML level 0 specifications in jive (2007)

by Á Darvas, P Müller
Venue:Annual Report of the Chair of Software Engineering