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)

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page