Search results for: Agostino Cortesi
Systems Engineering > 27 > 1 > 177 - 198
Systems Engineering > 24 > 3 > 158 - 176
Journal of Cloud Computing > 2019 > 8 > 1 > 1-14
Software: Practice and Experience > 49 > 7 > 1131 - 1161
Entertainment Computing > 2017 > 20 > C > 25-41
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Performance and Mobility > 437-441
Lecture Notes in Computer Science > Electronic Government > Architecture, Security and Interoperability > 320-331
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 313-331
Lecture Notes in Computer Science > ECOOP 2001 — Object-Oriented Programming > Type Inference and Static Analysis > 77-98
Lecture Notes in Computer Science > Perspectives of System Informatics > Logic Programming > 395-405
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification, Analysis and Testing > 505-521
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Dynamic Systems > 86-101