Luca Viganò

3 published titles

Labelled non-classical logics

1 edition

Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2

(Contributor)

1 edition

Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013, proceedings

(Contributor)

1 edition