Olivier Boite

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

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

2002

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