Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2008
Boiten, Eerke Albert (2008) From ABZ to cryptography (abstract). In: Börger, Egon and Butler, Michael and Bowen, Jonathan P. and Boca, Paul, eds. Lecture Notes in Computer Science. Abstract State Machines, B and Z, First International Conference, ABZ 2008. LNCS, 5238. Springer-Verlag Berlin ISBN 978-3-540-87602-1. (doi:https://doi.org/10.1007/978-3-540-87603-8<sub>4</sub>0) (Full text available) |