Mikhail Ramalho, Mauro Freitas, Felipe Sousa, Hendrio Marques, Lucas Cordeiro, Bernd Fischer 0002. SMT-Based Bounded Model Checking of C++ Programs. In Jerzy W. Rozenblit, editor, 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, ECBS 2013, Scottsdale, AZ, USA, April 22-24, 2013. pages 147-156, IEEE, 2013. [doi]
Abstract is missing.