Foundations and Applications of Security Analysis

Automata, languages and programming

Principles of Security and Trust

Formal Aspects of Security and Trust

Formal Aspects in Security and Trust

Computational Methods in Systems Biology

Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday

Programming Languages and Systems

Principles of Security and Trust

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust