DMCA

Formalization and Verification of a Mail Server in Coq (2003)

Cached

Download Links

by Reynald Affeldt , Naoki Kobayashi
Venue:International Symposium on Software Security
Citations:3 - 1 self