Search results for: Gianna Reggio
Journal of Software: Evolution and Process > 33 > 2 > n/a - n/a
Journal of Computer Science and Technology > 2018 > 33 > 5 > 918-939
Empirical Software Engineering > 2018 > 23 > 3 > 1743-1790
Journal of Visual Languages & Computing > 2017 > 41 > C > 10-21
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 132-150
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Contributed Papers > 77-97
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Scientific Engineering of Distributed Java Applications > Keynote Talks > 124-124
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 1-23
Lecture Notes in Computer Science > TAPSOFT '87 > 169-201
Lecture Notes in Computer Science > Formal Methods in Software and Systems Modeling > Algebraic Specification and Logic > 167-189