Can we really do without the support of formal methods in the verification of large designs?
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Umberto Rossi
Can we really do without the support of formal methods in the verification of large designs?
DAC, 2005.

DAC 2005
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{DAC-2005-Rossi,
	author        = "Umberto Rossi",
	booktitle     = "{Proceedings of the 42nd Design Automation Conference}",
	doi           = "10.1145/1065579.1065756",
	isbn          = "1-59593-058-2",
	pages         = "672--673",
	publisher     = "{ACM}",
	title         = "{Can we really do without the support of formal methods in the verification of large designs?}",
	year          = 2005,
}

Tags:



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.