Normal view
MARC view
- Bella, Giampaolo
Bella, Giampaolo (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Bella, Giampaolo., Formal Correctness of Security Protocols, 2007.