Search results for: Hugo Daniel Macedo
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 999-1010
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 5. Grand Chellenge Problems > 181-197
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 271-287
Formal Aspects of Computing > 2015 > 27 > 2 > 283-307
Science of Computer Programming > 2013 > 78 > 11 > 2160-2191