Search results for: Simão Melo Sousa
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops > 311-311
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Security and Protocols > 32-45
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Functional Programming > 86-103
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Quantitative Verification in Practice > 191-205
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Invited Papers > 41-59