Proofs of randomized algorithms in Coq

From MaRDI portal
Revision as of 17:27, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:923886

DOI10.1016/J.SCICO.2007.09.002zbMath1178.68667OpenAlexW2154231274MaRDI QIDQ923886

Philippe Audebaud, Christine Paulin-Mohring

Publication date: 24 July 2009

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00431771/file/postprint.pdf




Related Items (19)


Uses Software



Cites Work




This page was built for publication: Proofs of randomized algorithms in Coq