Search results for: Simão Melo de Sousa
Journal of Logical and Algebraic Methods in Programming > 2017 > 89 > C > 41-66
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS > Information Security (IS) 2007 International Symposium > 1527-1527
Undergraduate Topics in Computer Science
Science of Computer Programming > 2015 > 111 > Part 3 > 505-534
Journal of Automated Reasoning > 2005 > 35 > 4 > 295-354