Search results for: Nicoletta Francesco
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 167-181
Lecture Notes in Computer Science > On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops > Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES) > 425-436
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Security and Protocols > 1-15
Software & Systems Modeling > 2016 > 15 > 2 > 513-530
International Journal of Information Security > 2007 > 6 > 2-3 > 85-106
Formal Methods in System Design > 2005 > 26 > 3 > 319-350