Search results for: Ferruccio Damiani
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 691-707
Software & Systems Modeling > 2019 > 18 > 5 > 2875-2906
Journal of Systems and Software > 2017 > 131 > C > 419-441
Acta Informatica > 2018 > 55 > 4 > 269-307
Lecture Notes in Computer Science > Theoretical Computer Science > Program Design, Models and Analysis > 97-110
Lecture Notes in Computer Science > ECOOP 2001 — Object-Oriented Programming > Language Design > 130-149
Lecture Notes in Computer Science > Static Analysis > 143-158
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 146-161
Lecture Notes in Computer Science > Software Product Lines: Going Beyond > Formal Approaches > 77-91
Lecture Notes in Computer Science > Semantics, Applications, and Implementation of Program Generation > Position Papers > 172-189