Felipe R. M. Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho. Bounded model checking of C++ programs based on the Qt framework. In IEEE 4th Global Conference on Consumer Electronics, GCCE 2015, Osaka, Japan, 27-30 October 2015. pages 179-180, IEEE, 2015. [doi]
Abstract is missing.