Sylvain Baro

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

2 Sylvain Baro, Pierre Manoury: Un système X Raisonner formellement sur les programmes ML. JFLA 2003: 49-62

1 EE Sylvain Baro: Introduction to PAF!, a Proof Assistant for ML Programs Verification. TYPES 2003: 51-65

2003
2		Sylvain Baro, Pierre Manoury: Un système X Raisonner formellement sur les programmes ML. JFLA 2003: 49-62
1	EE	Sylvain Baro: Introduction to PAF!, a Proof Assistant for ML Programs Verification. TYPES 2003: 51-65

Coauthor Index

1 Pierre Manoury [2]