Inproceedings,
A web-integrated verifying compiler for RESOLVE: a research perspective.
D. Welch, C. Cook, Y. Sun, and M. Sitaraman.ISEC, page 12:1-12:6. ACM, (2014)
Meta data
- BibTeX key
- conf/indiaSE/WelchCSS14
- entry type
- inproceedings
- booktitle
- ISEC
- year
- 2014
- pages
- 12:1-12:6
- publisher
- ACM
- crossref
- conf/indiaSE/2014
- ee
- https://doi.org/10.1145/2590748.2590760
- isbn
- 978-1-4503-2776-3
- url
- http://dblp.uni-trier.de/db/conf/indiaSE/isec2014.html#WelchCSS14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/indiaSE/WelchCSS14
%A Welch, Daniel
%A Cook, Charles T.
%A Sun, Yu-Shan
%A Sitaraman, Murali
%B ISEC
%D 2014
%E Janakiram, Dharanipragada
%E Sen, Koushik
%E Kulkarni, Vinay
%I ACM
%K dblp
%P 12:1-12:6
%T A web-integrated verifying compiler for RESOLVE: a research perspective.
%U http://dblp.uni-trier.de/db/conf/indiaSE/isec2014.html#WelchCSS14
%@ 978-1-4503-2776-3
@inproceedings{conf/indiaSE/WelchCSS14,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Welch, Daniel and Cook, Charles T. and Sun, Yu-Shan and Sitaraman, Murali},
biburl = {https://www.bibsonomy.org/bibtex/2ef4bd0dabcf7849210e6e41d5c977641/dblp},
booktitle = {ISEC},
crossref = {conf/indiaSE/2014},
editor = {Janakiram, Dharanipragada and Sen, Koushik and Kulkarni, Vinay},
ee = {https://doi.org/10.1145/2590748.2590760},
interhash = {9597bf874f5d23d6d85e566e48c6b72d},
intrahash = {ef4bd0dabcf7849210e6e41d5c977641},
isbn = {978-1-4503-2776-3},
keywords = {dblp},
pages = {12:1-12:6},
publisher = {ACM},
timestamp = {2024-04-10T05:51:28.000+0200},
title = {A web-integrated verifying compiler for RESOLVE: a research perspective.},
url = {http://dblp.uni-trier.de/db/conf/indiaSE/isec2014.html#WelchCSS14},
year = 2014
}