Proofs of randomized algorithms in Coq
In: SCIENCE OF COMPUTER PROGRAMMING, Jg. 74 (2009), Heft 8, S. 568-589
Online
serialPeriodical
Zugriff:
Titel: |
Proofs of randomized algorithms in Coq
|
---|---|
Autor/in / Beteiligte Person: | Audebaud, P. ; Paulin-Mohring, C. |
Link: | |
Zeitschrift: | SCIENCE OF COMPUTER PROGRAMMING, Jg. 74 (2009), Heft 8, S. 568-589 |
Veröffentlichung: | 2009 |
Medientyp: | serialPeriodical |
ISSN: | 0167-6423 (print) |
Sonstiges: |
|