Published in
Springer (part of Springer Nature), Formal Aspects of Computing, 1(26), p. 1-2, 2014
DOI: 10.1007/s00165-013-0290-7
Links
Tools
Editorial: Special Issue on Cryptography and Formal Methods
Journal article published in 2014 by
Eerke Boiten,
Steve A. Schneider
This paper is made freely available by the publisher.
Full text: Download
Published version:
archiving forbidden
Data provided by 