Inproceedings,
SMT-based verification of parameterized systems.
A. Gurfinkel, S. Shoham, and Y. Meshman.SIGSOFT FSE, page 338-348. ACM, (2016)
Meta data
- BibTeX key
- conf/sigsoft/GurfinkelSM16
- entry type
- inproceedings
- booktitle
- SIGSOFT FSE
- year
- 2016
- pages
- 338-348
- publisher
- ACM
- crossref
- conf/sigsoft/2016
- ee
- https://doi.org/10.1145/2950290.2950330
- isbn
- 978-1-4503-4218-6
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2016.html#GurfinkelSM16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigsoft/GurfinkelSM16
%A Gurfinkel, Arie
%A Shoham, Sharon
%A Meshman, Yuri
%B SIGSOFT FSE
%D 2016
%E Zimmermann, Thomas
%E Cleland-Huang, Jane
%E Su, Zhendong
%I ACM
%K dblp
%P 338-348
%T SMT-based verification of parameterized systems.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2016.html#GurfinkelSM16
%@ 978-1-4503-4218-6
@inproceedings{conf/sigsoft/GurfinkelSM16,
added-at = {2022-01-03T00:00:00.000+0100},
author = {Gurfinkel, Arie and Shoham, Sharon and Meshman, Yuri},
biburl = {https://www.bibsonomy.org/bibtex/201f8f6894feb4246463b0891eb7d15c7/dblp},
booktitle = {SIGSOFT FSE},
crossref = {conf/sigsoft/2016},
editor = {Zimmermann, Thomas and Cleland-Huang, Jane and Su, Zhendong},
ee = {https://doi.org/10.1145/2950290.2950330},
interhash = {ea749286b27736f27fe4744c71ba453d},
intrahash = {01f8f6894feb4246463b0891eb7d15c7},
isbn = {978-1-4503-4218-6},
keywords = {dblp},
pages = {338-348},
publisher = {ACM},
timestamp = {2024-04-09T17:53:33.000+0200},
title = {SMT-based verification of parameterized systems.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2016.html#GurfinkelSM16},
year = 2016
}