44 articles – 42 references  [version française]
.:. Browse > List by authors > Audebaud .:.
1 document
fulltext access Proofs of randomized algorithms in Coq
Audebaud P., Paulin-Mohring C.
Science of Computer Programming (2009) [inria-00431771 - version 1]