![Bounded model checking of C++ programs based on the Qt cross‐platform framework - Monteiro - 2017 - Software Testing, Verification and Reliability - Wiley Online Library Bounded model checking of C++ programs based on the Qt cross‐platform framework - Monteiro - 2017 - Software Testing, Verification and Reliability - Wiley Online Library](https://onlinelibrary.wiley.com/cms/asset/a69c0adf-3d12-4a8d-96af-db93593bb2ca/stvr1632-fig-0006-m.jpg)
Bounded model checking of C++ programs based on the Qt cross‐platform framework - Monteiro - 2017 - Software Testing, Verification and Reliability - Wiley Online Library
![Bounded model checking of C++ programs based on the Qt cross‐platform framework - Monteiro - 2017 - Software Testing, Verification and Reliability - Wiley Online Library Bounded model checking of C++ programs based on the Qt cross‐platform framework - Monteiro - 2017 - Software Testing, Verification and Reliability - Wiley Online Library](https://onlinelibrary.wiley.com/cms/asset/9e832b6c-2d10-4d63-ae2e-d24f78fb174c/stvr1632-fig-0005-m.jpg)
Bounded model checking of C++ programs based on the Qt cross‐platform framework - Monteiro - 2017 - Software Testing, Verification and Reliability - Wiley Online Library
![Bounded model checking of C++ programs based on the Qt cross‐platform framework - Monteiro - 2017 - Software Testing, Verification and Reliability - Wiley Online Library Bounded model checking of C++ programs based on the Qt cross‐platform framework - Monteiro - 2017 - Software Testing, Verification and Reliability - Wiley Online Library](https://onlinelibrary.wiley.com/cms/asset/2db96aa8-cc90-4c65-a1db-279a9b65dbb6/stvr1632-fig-0012-m.jpg)