Mário A. P. Garcia

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Bounded Model Checking

Top Venues

Publications

Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). ASE (2018)