Catherine Parent

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

2 Catherine Parent: Synthesizing Proofs from Programs in the Calculus of Inductive Constructions. MPC 1995: 351-379

1993

1 Catherine Parent: Developing Certified Programs in the System Coq - The Program Tactic. TYPES 1993: 291-312

	1995
2		Catherine Parent: Synthesizing Proofs from Programs in the Calculus of Inductive Constructions. MPC 1995: 351-379
	1993
1		Catherine Parent: Developing Certified Programs in the System Coq - The Program Tactic. TYPES 1993: 291-312