Search results for: Santiago Escobar
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 182-198
Lecture Notes in Computer Science > Rewriting Logic and Its Applications > Termination and Narrowing > 52-68
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Theory and Security > 101-116
Lecture Notes in Computer Science > Computer Security - ESORICS 2008 > Session 11: Formal Models and Cryptographic Protocols > 548-562
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 200-217
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Debugging and Types > 1-16
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 117-132
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The FM-SOA Working Group > 105-124