Concise Guide to Software Verification : From Model Checking to Annotation Checking / Marieke Huisman and Anton Wijs

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan