@inproceedings{Ada-2002-Plodereder,
	author        = "Erhard Plödereder",
	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         = "79--126",
	publisher     = "{Shaker Verlag}",
	title         = "{Codeanalysen}",
	year          = 2002,
}