Search results for: Nazareno Aguirre
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 6 > 665-688
Software Testing, Verification and Reliability > 28 > 2 > n/a - n/a
Formal Aspects of Computing > 2017 > 29 > 6 > 1013-1050
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Software Components > 37-51
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Specification and Composition > 173-193
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 106-121
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Real-Time Systems > 737-756
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 528-545
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Communication > 141-155
Formal Aspects of Computing > 2015 > 27 > 5-6 > 831-865
Software Testing, Verification and Reliability > 24 > 8 > 629 - 655