Verifying a Signature Architecture: A Comparative Case Study
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-006-0012-5
Full Text
Open PDFAbstract
Available in full text
Date
January 13, 2007
Authors
Publisher
Springer Science and Business Media LLC