Inferring Inductive Invariants from Phase Structures
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
Inferring Inductive Invariants from Phase Structures
CAV, 2019.

CAV p2 2019
Full names Links ISxN
	author        = "Yotam M. Y. Feldman and James R. Wilcox and Sharon Shoham and Mooly Sagiv",
	booktitle     = "{Proceedings of the 30st International Conference on Computer Aided Verification, Part II}",
	doi           = "10.1007/978-3-030-25543-5_23",
	isbn          = "['978-3-030-25542-8', '978-3-030-25543-5']",
	pages         = "405--425",
	publisher     = "{Springer}",
	title         = "{Inferring Inductive Invariants from Phase Structures}",
	year          = 2019,


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.