1. Bounded model checking of C++ programs based on the Qt cross‐platform framework. (2nd March 2017) Authors: Monteiro, Felipe R.; Garcia, Mário A. P.; Cordeiro, Lucas C.; de Lima Filho, Eddie B. Journal: Software testing, verification & reliability Issue: Volume 27:Number 3(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗