@inproceedings{Ada-2002-FreiningKW,
	author        = "Carsten Freining and Stefan Kauer and Jürgen F. H. Winkler",
	booktitle     = "{Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität}",
	isbn          = "3-8265-9956-X",
	pages         = "127--145",
	publisher     = "{Shaker Verlag}",
	title         = "{Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK}",
	year          = 2002,
}