Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic
Jerry den HartogVolume:
74
Year:
2008
Language:
english
Pages:
12
DOI:
10.1016/j.scico.2008.09.006
File:
PDF, 711 KB
english, 2008