Found 2 Documents (Results 1–2)
Filter Results by …
Author
- Lochbihler, Andreas (2)
- Basin, David A. (1)
- Sefidgar, S. Reza (1)
Serial
- J. Autom. Reasoning (1)
- J. Cryptology (1)
all
top 3
Software
- Archive Formal Proofs (2)
- Isabelle/HOL (2)
- Lifting (2)
- MFMC_Countable (2)
- Probabilistic_While (2)
- Transfer (2)
- Zoo Probabilistic Systems (2)
- AmiCo (1)
- Autoref (1)
- CryptHOL (1)
- EasyCrypt (1)
- Edmonds-Karp (1)
- F* (1)
- Game_Based_Crypto (1)
- HOL (1)
- Locales (1)
- ML (1)
- Nuprl (1)
- miz3 (1)