Michel Levy

List of publications from the DBLP Bibliography Server - FAQ

1999

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

1998

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

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

Coauthor Index