Search results for: Manuel Barrio-Solórzano
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 93-107
Electronic Notes in Theoretical Computer Science > 2006 > 154 > 1 > 25-41
Journal of Logic and Algebraic Programming > 2005 > 63 > 2 > 177-214
Electronic Notes in Theoretical Computer Science > 2005 > 127 > 4 > 3-16