Olivier Boite

List of publications from the DBLP Bibliography Server - FAQ

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

2004

2 EE Olivier Boite: Proof Reuse with Extended Inductive Types. TPHOLs 2004: 50-65

2002

1 EE Olivier Boite: Automatiser les preuves d'un sous-langage de la méthode B. Technique et Science Informatiques 21(8): 1099-1120 (2002)

2004
2	EE	Olivier Boite: Proof Reuse with Extended Inductive Types. TPHOLs 2004: 50-65
2002
1	EE	Olivier Boite: Automatiser les preuves d'un sous-langage de la méthode B. Technique et Science Informatiques 21(8): 1099-1120 (2002)