@inproceedings{PASTE-2004-Godefroid,
	author        = "Patrice Godefroid",
	booktitle     = "{Proceedings of the Fifth Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/996821.996824",
	isbn          = "1-58113-910-1",
	pages         = "36",
	publisher     = "{ACM}",
	title         = "{Invited Talk: “Model checking” software with VeriSoft}",
	year          = 2004,
}