© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
From ABZ to cryptography (abstract)
Eerke A. Boiten
In E. Brger, M. Butler, J.P. Bowen, and P. Boca, editors, ABZ 2008, volume 5238 of LNCS, page 353. Springer, September 2008 [doi].Bibtex Record
@conference{2718,
author = {Eerke A. Boiten},
title = {From {ABZ} to cryptography (abstract)},
month = {September},
year = {2008},
pages = {353},
keywords = {refinement, cryptography},
note = {},
doi = {10.1007/978-3-540-87603-8_40},
url = {http://www.cs.kent.ac.uk/pubs/2008/2718},
publication_type = {conference},
submission_id = {12988_1208301218},
booktitle = {ABZ 2008},
series = {LNCS},
publisher = {Springer},
refereed = {yes},
volume = {5238},
editor = {E. Brger and M. Butler and J.P. Bowen and P. Boca},
}