Francis Klay (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Thomas Genet, Francis Klay: Rewriting for Cryptographic Protocol Verification. CADE 2000: 271-290

Selection of 1 from 13 records - Francis Klay has 21 coauthors