JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML (2008)

by Patrice Chalin, Perry R James, George Karabotsos
Venue:In VSTTE ’08: Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments