Reassessing JML’s logical foundation (2005)

by P Chalin
Venue:In Proceedings of the 7th Workshop on Formal Techniques for Java-like Programs (FTfJP’05