Search results for: Davide Marchignoli
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Compositionality and Abstraction > 148-162
Journal of Software: Evolution and Process > 22 > 3 > 211 - 237