Sciweavers

Share

Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic

Please Wait - GoogleMap is Loading ... Click flag to display traffic info
books