ArticlesMaude versus Haskell: an Experimental Comparison in Security Protocol Analysis
Under a Creative Commons license
open access
Cited by (0)
- 1
Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312.
Copyright © 2000 Elsevier B.V.