Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/spin/GarciaMCF16
%A Garcia, Mário
%A Monteiro, Felipe R.
%A Cordeiro, Lucas C.
%A de Lima Filho, Eddie Batista
%B SPIN
%D 2016
%E Bosnacki, Dragan
%E Wijs, Anton
%I Springer
%K dblp
%P 97-103
%T ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications.
%U http://dblp.uni-trier.de/db/conf/spin/spin2016.html#GarciaMCF16
%V 9641
%@ 978-3-319-32581-1
@inproceedings{conf/spin/GarciaMCF16,
added-at = {2017-06-05T00:00:00.000+0200},
author = {Garcia, Mário and Monteiro, Felipe R. and Cordeiro, Lucas C. and de Lima Filho, Eddie Batista},
biburl = {https://www.bibsonomy.org/bibtex/2d0be879439eed73b94672af466094e51/dblp},
booktitle = {SPIN},
crossref = {conf/spin/2016},
editor = {Bosnacki, Dragan and Wijs, Anton},
ee = {https://doi.org/10.1007/978-3-319-32582-8_6},
interhash = {916a50d7d56aa45b4045c0f7a28ad293},
intrahash = {d0be879439eed73b94672af466094e51},
isbn = {978-3-319-32581-1},
keywords = {dblp},
pages = {97-103},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T13:54:50.000+0200},
title = {ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications.},
url = {http://dblp.uni-trier.de/db/conf/spin/spin2016.html#GarciaMCF16},
volume = 9641,
year = 2016
}