Search results for: Jose Fiadeiro
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Modelling in Service-Oriented Architectures > 61-114
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 469-486
Science of Computer Programming > 2012 > 77 > 5 > 577-608