Logic and computation: interactive proof with Cambridge LCF
Logic and computation: interactive proof with Cambridge LCF
Program verification: the very idea
Communications of the ACM
Social processes and proofs of theorems and programs
Communications of the ACM
Communications of the ACM
Cryptography and data security
Cryptography and data security
Communications of the ACM
Communications of the ACM
Hi-index | 48.25 |