Search results for: Marcelo D’Amorim
Journal of Systems and Software > 2018 > 137 > C > 733-746
Lecture Notes in Computer Science > Innovative Internet Computing Systems > Workshop Innovative Internet Computing Systems > 159-166
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 549-567
Lecture Notes in Computer Science > Computer Aided Verification > Automata and Transition Systems > 364-378
Science of Computer Programming > 2014 > 80 > Part A > 91-105
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 243-253