Industrial Practice in Formal Methods: A Review
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock
Industrial Practice in Formal Methods: A Review
FM, 2009.

FM 2009
Full names Links ISxN
	author        = "Juan Bicarregui and John S. Fitzgerald and Peter Gorm Larsen and J. C. P. Woodcock",
	booktitle     = "{Proceedings of the 16th International Symposium of Formal Methods: Second World Congress}",
	doi           = "10.1007/978-3-642-05089-3_52",
	isbn          = "978-3-642-05088-6",
	pages         = "810--813",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Industrial Practice in Formal Methods: A Review}",
	volume        = 5850,
	year          = 2009,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.