Verification Coverage: When is Enough, Enough?
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv
Verification Coverage: When is Enough, Enough?
DAC, 2007.

DAC 2007
Full names Links ISxN
	author        = "Francine Bacchini and Alan J. Hu and Tom Fitzpatrick and Rajeev Ranjan and David Lacey and Mercedes Tan and Andrew Piziali and Avi Ziv",
	booktitle     = "{Proceedings of the 44th Design Automation Conference}",
	pages         = "744--745",
	publisher     = "{IEEE}",
	title         = "{Verification Coverage: When is Enough, Enough?}",
	year          = 2007,


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.