| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Notes in Computer Science, Band 5511) | 978-3-642-03458-9 | 2009 | Pierpaolo Degano | |
| Labelled Deduction | 978-0-7923-6237-1 | 2000 | Sean Matthews | |
| Labelled Non-Classical Logics | 978-0-7923-7749-8 | 2000 | Luca Viganò | |
| Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings | 978-3-642-38915-3 | 2013 | Margus Veanes |
Lewes Vaughan · Lewis Vaughn · Lisa Vaughn · LOUIS VACHON · Louis Vaughan · Luc Vezin · Luigi Vezzoni