FME '96: Industrial Benefit and Advances in Formal Methods electronic resource : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. / edited by Marie-Claude Gaudel, James Woodcock

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat