Verification: what works and what doesn’t
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev
Verification: what works and what doesn’t
DAC, 2004.

DAC 2004
Full names Links ISxN
	author        = "Francine Bacchini and Robert F. Damiano and Bob Bentley and Kurt Baty and Kevin Normoyle and Makoto Ishii and Einat Yogev",
	booktitle     = "{Proceedings of the 41st Design Automation Conference}",
	doi           = "10.1145/996566.996648",
	isbn          = "1-58113-828-8",
	pages         = "274",
	publisher     = "{ACM}",
	title         = "{Verification: what works and what doesn’t}",
	year          = 2004,


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.