Inproceedings,
High Coverage Concolic Equivalence Checking.
P. Roy, S. Chaki, and P. Chauhan.DATE, page 462-467. IEEE, (2019)
Meta data
- BibTeX key
- conf/date/RoyCC19
- entry type
- inproceedings
- booktitle
- DATE
- year
- 2019
- pages
- 462-467
- publisher
- IEEE
- crossref
- conf/date/2019
- ee
- https://doi.org/10.23919/DATE.2019.8715131
- isbn
- 978-3-9819263-2-3
- url
- http://dblp.uni-trier.de/db/conf/date/date2019.html#RoyCC19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/date/RoyCC19
%A Roy, Pritam
%A Chaki, Sagar
%A Chauhan, Pankaj
%B DATE
%D 2019
%E Teich, Jürgen
%E Fummi, Franco
%I IEEE
%K dblp
%P 462-467
%T High Coverage Concolic Equivalence Checking.
%U http://dblp.uni-trier.de/db/conf/date/date2019.html#RoyCC19
%@ 978-3-9819263-2-3
@inproceedings{conf/date/RoyCC19,
added-at = {2019-05-20T00:00:00.000+0200},
author = {Roy, Pritam and Chaki, Sagar and Chauhan, Pankaj},
biburl = {https://www.bibsonomy.org/bibtex/240bf236482414dcc1914c7813559308f/dblp},
booktitle = {DATE},
crossref = {conf/date/2019},
editor = {Teich, Jürgen and Fummi, Franco},
ee = {https://doi.org/10.23919/DATE.2019.8715131},
interhash = {7c968dc4b76cfa9ae012b9f73536fbdb},
intrahash = {40bf236482414dcc1914c7813559308f},
isbn = {978-3-9819263-2-3},
keywords = {dblp},
pages = {462-467},
publisher = {IEEE},
timestamp = {2019-10-17T15:00:29.000+0200},
title = {High Coverage Concolic Equivalence Checking.},
url = {http://dblp.uni-trier.de/db/conf/date/date2019.html#RoyCC19},
year = 2019
}