Michel Levy

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

2 Michel Levy, Laurent Trilling: A PVS-Based Approach for Teaching Constructing Correct Iterations. World Congress on Formal Methods 1999: 1859-1860

1998

1 Michel Levy: Prover KT4. TABLEAUX 1998: 31-32

	1999
2		Michel Levy, Laurent Trilling: A PVS-Based Approach for Teaching Constructing Correct Iterations. World Congress on Formal Methods 1999: 1859-1860
	1998
1		Michel Levy: Prover KT4. TABLEAUX 1998: 31-32

Coauthor Index