@techreport{2003-Burdy-OverviewApplications, author = "{Burdy}, L. and {Cheon}, Y. and {Cok}, D. and {Ernst}, M. and {Kiniry}, J.R. and {Leavens}, G.T. and {Leino}, K.R.M. and {Poll}, E.", title = "{An overview of JML tools and applications}", number = "NIII--R0309", month = "March", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2003", code = "icis.NIII-R0309", research_group = "icis", class = "Report" }