Meta data
- BibTeX key
- conf/kbse/ZhengRLDS15
- entry type
- inproceedings
- booktitle
- ASE
- year
- 2015
- pages
- 830-835
- publisher
- IEEE Computer Society
- crossref
- conf/kbse/2015
- ee
- https://dl.acm.org/citation.cfm?id=3343996
- isbn
- 978-1-5090-0025-8
- url
- http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#ZhengRLDS15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kbse/ZhengRLDS15
%A Zheng, Manchun
%A Rogers, Michael S.
%A Luo, Ziqing
%A Dwyer, Matthew B.
%A Siegel, Stephen F.
%B ASE
%D 2015
%E Cohen, Myra B.
%E Grunske, Lars
%E Whalen, Michael
%I IEEE Computer Society
%K dblp
%P 830-835
%T CIVL: Formal Verification of Parallel Programs.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#ZhengRLDS15
%@ 978-1-5090-0025-8
@inproceedings{conf/kbse/ZhengRLDS15,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Zheng, Manchun and Rogers, Michael S. and Luo, Ziqing and Dwyer, Matthew B. and Siegel, Stephen F.},
biburl = {https://www.bibsonomy.org/bibtex/2d3da5afad9fc7573665b7c6644ba0d49/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2015},
editor = {Cohen, Myra B. and Grunske, Lars and Whalen, Michael},
ee = {https://dl.acm.org/citation.cfm?id=3343996},
interhash = {bb94477f0f6a13e2ee08ae97c7ea1cab},
intrahash = {d3da5afad9fc7573665b7c6644ba0d49},
isbn = {978-1-5090-0025-8},
keywords = {dblp},
pages = {830-835},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T04:50:29.000+0200},
title = {CIVL: Formal Verification of Parallel Programs.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#ZhengRLDS15},
year = 2015
}