joe-hurd documents

Probabilistic Guarded Commands Mechanized in HOL
Documents Probabilistic Guarded Commands Mechanized in HOL
Probabilistic guarded commands mechanized in HOL
Documents Probabilistic guarded commands mechanized in HOL
US Election Note: International Trade Policy After 2012
Documents US Election Note: International Trade Policy After 2012
Verification of the Miller–Rabin probabilistic primality test
Documents Verification of the Miller–Rabin probabilistic primality test