It’s Doomed; We Can Prove It
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
It’s Doomed; We Can Prove It
FM, 2009.

FM 2009
Full names Links ISxN
	author        = "Jochen Hoenicke and K. Rustan M. Leino and Andreas Podelski and Martin Schäf and Thomas Wies",
	booktitle     = "{Proceedings of the 16th International Symposium of Formal Methods: Second World Congress}",
	doi           = "10.1007/978-3-642-05089-3_22",
	isbn          = "978-3-642-05088-6",
	pages         = "338--353",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{It’s Doomed; We Can Prove It}",
	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.