A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols
METADATA ONLY
Loading...
Author / Producer
Date
2007
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Book title
Theorem proving in higher order logics : proceedings : 20th international conference
Journal / series
Volume
4732
Pages / Article No.
302 - 318
Publisher
Springer
Event
20th International Workshop on Higher Order Logic Theorem Proving and its Applications 2007 (TPHOLs 2007)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03634 - Basin, David / Basin, David