The following pages link to Christine Paulin-Mohring (Q923885):
Displaying 14 items.
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Synthesis of ML programs in the system Coq (Q1322847) (← links)
- (Q1881668) (redirect page) (← links)
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670) (← links)
- Towards Provably Robust Watermarking (Q2914743) (← links)
- (Q3400638) (← links)
- Proofs of Randomized Algorithms in Coq (Q3618814) (← links)
- (Q4281483) (← links)
- Circuits as streams in Coq: Verification of a sequential multiplier (Q4647582) (← links)
- (Q5219927) (← links)
- Theorem Proving in Higher Order Logics (Q5477655) (← links)
- (Q5714446) (← links)
- FM 2005: Formal Methods (Q5716885) (← links)
- Inductively defined types in the Calculus of Constructions (Q5887516) (← links)