Search results for: Valeria Paiva
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 197-211
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 164-177
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 223-237
International Journal on Digital Libraries > 2015 > 15 > 2-4 > 153-167
Applied Categorical Structures > 2005 > 13 > 1 > 1-36