Mauro Freitas

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Formal Verification

Historical Data

Linear Temporal Logic

Top Venues

Publications

Bruno Fernandes, Mauro Freitas, Cesar Analide, Henrique Vicente, José Neves
Handling Default Data under a Case-based Reasoning Approach. ICAART (2) (2015)
Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer
SMT-Based Bounded Model Checking of C++ Programs. ECBS (2013)