Formal verification — prove it or pitch it
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi
Formal verificationprove it or pitch it
DAC, 2003.

DAC 2003
Full names Links ISxN
	author        = "Rajesh K. Gupta and Shishpal Rawat and Sandeep K. Shukla and Brian Bailey and Daniel K. Beece and Masahiro Fujita and Carl Pixley and John O'Leary and Fabio Somenzi",
	booktitle     = "{Proceedings of the 40th Design Automation Conference}",
	doi           = "10.1145/775832.776013",
	isbn          = "1-58113-688-9",
	pages         = "710--711",
	publisher     = "{ACM}",
	title         = "{Formal verification — prove it or pitch it}",
	year          = 2003,


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.