Travelled to:1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:∅ J.Andronick B.Chetali
Talks about:properti (2) construct (1) calculus (1) program (1) extract (1) definit (1) system (1) induct (1) formal (1) verif (1)
Person: Christine Paulin-Mohring
DBLP: Paulin-Mohring:Christine
Contributed to:
2005
1993
1989Wrote 3 papers:
- FM-2005-AndronickCP #embedded #security #smarttech #source code #verification
- Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.
- TLCA-1993-Paulin-Mohring #coq #induction
- Inductive Definitions in the system Coq — Rules and Properties (CPM), pp. 328–345.
- POPL-1989-Paulin-Mohring #calculus #proving #source code
- Extracting Fω’s Programs from Proofs in the Calculus of Constructions (CPM), pp. 89–104.