Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract)
ASE, 2018.
@inproceedings{ASE-2018-MonteiroGCF,
author = "Felipe R. Monteiro and Mário A. P. Garcia and Lucas C. Cordeiro and Eddie Batista de Lima Filho",
booktitle = "{Proceedings of the 33rd International Conference on Automated Software Engineering}",
doi = "10.1145/3238147.3241981",
pages = "954",
publisher = "{ACM}",
title = "{Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract)}",
year = 2018,
}