@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"
}