Search results for: José Nuno Oliveira
Journal of Logical and Algebraic Methods in Programming > 2018 > 94 > C > 15-44
Lecture Notes in Computer Science
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 4 > 449-474
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 271-287
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Science of Computer Programming > 2015 > 110 > Complete > 51-77
Formal Aspects of Computing > 2015 > 27 > 2 > 283-307
Science of Computer Programming > 2013 > 78 > 11 > 2160-2191
Journal of Logic and Algebraic Programming > 2012 > 81 > 6 > 680-704