Search results for: Andrea Mocci
Science of Computer Programming > 2017 > 150 > C > 31-55
IEEE Software > 2016 > 33 > 6 > 102 - 105
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification > 233-247
Lecture Notes in Computer Science > Service Research Challenges and Solutions for the Future Internet > 209-270