Inproceedings,
A Framework for Combining Analysis and Verification.
N. Heintze, J. Jaffar, and R. Voicu.POPL, page 26-39. ACM, (2000)
Meta data
- BibTeX key
- conf/popl/HeintzeJV00
- entry type
- inproceedings
- booktitle
- POPL
- year
- 2000
- pages
- 26-39
- publisher
- ACM
- crossref
- conf/popl/2000
- ee
- https://doi.org/10.1145/325694.325700
- isbn
- 1-58113-125-9
- url
- http://dblp.uni-trier.de/db/conf/popl/popl2000.html#HeintzeJV00
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/popl/HeintzeJV00
%A Heintze, Nevin
%A Jaffar, Joxan
%A Voicu, Razvan
%B POPL
%D 2000
%E Wegman, Mark N.
%E Reps, Thomas W.
%I ACM
%K dblp
%P 26-39
%T A Framework for Combining Analysis and Verification.
%U http://dblp.uni-trier.de/db/conf/popl/popl2000.html#HeintzeJV00
%@ 1-58113-125-9
@inproceedings{conf/popl/HeintzeJV00,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Heintze, Nevin and Jaffar, Joxan and Voicu, Razvan},
biburl = {https://www.bibsonomy.org/bibtex/23777a3f4947e120021d4619972406df7/dblp},
booktitle = {POPL},
crossref = {conf/popl/2000},
editor = {Wegman, Mark N. and Reps, Thomas W.},
ee = {https://doi.org/10.1145/325694.325700},
interhash = {425a8a1cc9f090f4e8b784fe2a73203a},
intrahash = {3777a3f4947e120021d4619972406df7},
isbn = {1-58113-125-9},
keywords = {dblp},
pages = {26-39},
publisher = {ACM},
timestamp = {2018-11-07T16:47:23.000+0100},
title = {A Framework for Combining Analysis and Verification.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl2000.html#HeintzeJV00},
year = 2000
}