CIVL: Formal Verification of Parallel Programs
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Formal Verification of Parallel Programs
ASE, 2015.

ASE 2015
Full names Links ISxN
	author        = "Manchun Zheng and Michael S. Rogers and Ziqing Luo and Matthew B. Dwyer and Stephen F. Siegel",
	booktitle     = "{Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering}",
	doi           = "10.1109/ASE.2015.99",
	isbn          = "978-1-5090-0025-8",
	pages         = "830--835",
	publisher     = "{IEEE Computer Society}",
	title         = "{CIVL: Formal Verification of Parallel Programs}",
	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.