Metadata only
Date
2013Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
Journal of Computer SecurityVolume
Pages / Article No.
Publisher
IOS PressSubject
Security protocols; Formal methods; Theorem proving; Automatic proof generationOrganisational unit
03634 - Basin, David / Basin, David
Notes
Published online 12 February 2013.More
Show all metadata
ETH Bibliography
yes
Altmetrics