Luca Viganò

Identifiers

Open LibraryOL2785018A

Top Subjects

Logic (2)
Computer science (1)
Symbolic and mathematical Logic (1)
Philosophy (General) (1)
Mathematics (1)
Philosophy Of Mathematics (1)
Mathematical theory of computation (1)

Books by Luca Viganò

Total count: 7

Gli astanti ; Slice of death ; Bipedi implumi con anima

Le mani1998-01-01
Labelled Non-Classical Logics

Springer US2000-01-01
Labelled Non-Classical Logics1 edition

Springer2000-01-31
Foundations and Applications of Security AnalysisJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer London, Limited2009-01-01
Principles of Security and Trust5th International Conference, POST 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings

Springer London, Limited2016-01-01
Socio-Technical Aspects in Security and Trust10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers

Springer International Publishing AG2021-01-01
Socio-Technical Aspects in Security11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

Springer International Publishing AG2022-01-01