Synthesizing Non-Vacuous Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman
Synthesizing Non-Vacuous Systems
VMCAI, 2017.

VMCAI 2017
Full names Links ISxN
	author        = "Roderick Bloem and Hana Chockler and Masoud Ebrahimi 0002 and Ofer Strichman",
	booktitle     = "{Proceedings of the 18th International Conference on Verification, Model Checking and Abstract Interpretation}",
	doi           = "10.1007/978-3-319-52234-0_4",
	isbn          = "978-3-319-52233-3",
	pages         = "55--72",
	publisher     = "{Springer}",
	title         = "{Synthesizing Non-Vacuous Systems}",
	year          = 2017,

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.