@inproceedings{PASTE-2004-Leavens,
	author        = "Gary T. Leavens",
	booktitle     = "{Proceedings of the Fifth Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/996821.996822",
	isbn          = "1-58113-910-1",
	pages         = "1",
	publisher     = "{ACM}",
	title         = "{Invited Talk: JML framed!}",
	year          = 2004,
}