Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings

oleh Rohit Gheyi, editor
Terbitan: [, Springer-Verlag], 2012

Understanding and Detecting Harmful Code

oleh Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rohit Gheyi, Márcio Ribeiro, Alessandro Garcia, Rafael de Mello
Terbitan: 2020

Atoms of Confusion: The Eyes Do Not Lie

oleh de Oliveira, Benedito, Ribeiro, Márcio, Costa, José, Rohit, Gheyi, Amaral, Guilherme, de Mello, Rafael, Oliveira, Anderson, Garcia, Alessandro, Bonifácio, Rodrigo, Fonseca, Baldoino
Terbitan: 2020