16. ESOP 2007: Braga, Portugal (Part of ETAPS 2007)

Refine list

showing all ?? records

Invited Talk

Models and Languages for Web Services

Verification

Term Rewriting

Language Based Security

Logics and Correctness Proofs

Static Analysis and Abstract Interpretation I

Static Analysis and Abstract Interpretation II

Semantic Theories for Object Oriented Languages

Process Algebraic Techniques

Applicative Programming

Types for Systems Properties

a service of  Schloss Dagstuhl - Leibniz Center for Informatics