SMT-Based Bounded Model Checking of C++ Programs. - Mikhail Ramalho; Mauro Freitas; Felipe Rodrigues Monteiro Sousa; Hendrio Marques; Lucas C. Cordeiro; Bernd Fischer 002 (ECBS, 2013)

ESBMC 1.22 - (Competition Contribution). - Jeremy Morse; Mikhail Ramalho; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (TACAS, 2014)