Designer-level verification: an industrial experience story
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru
Designer-level verification: an industrial experience story
DATE, 2015.

DATE 2015
Full names Links ISxN
	acmid         = "2755846",
	author        = "Stephen Bergman and Gabor Bobok and Walter Kowalski and Shlomit Koyfman and Shiri Moran and Ziv Nevo and Avigail Orni and Viresh Paruthi and Wolfgang Roesner and Gil Shurek and Vasantha Vuyyuru",
	booktitle     = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
	isbn          = "978-3-9815370-4-8",
	pages         = "410--411",
	publisher     = "{ACM}",
	title         = "{Designer-level verification: an industrial experience story}",
	year          = 2015,


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.