B Method

Dominique Cansell 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Formalization and answers by Dominique Cansell .
Type de document :
Chapitre d'ouvrage
Freek Wiedijk. The Seventeen Provers of the World, 3600 (3600), Springer Berlin / Heidelberg, pp.142-150, 2006, LNAI, 978-3-540-30704-4. 〈10.1007/11542384_18〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00096700
Contributeur : Dominique Cansell <>
Soumis le : mardi 19 septembre 2006 - 21:55:30
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

Collections

Citation

Dominique Cansell. B Method. Freek Wiedijk. The Seventeen Provers of the World, 3600 (3600), Springer Berlin / Heidelberg, pp.142-150, 2006, LNAI, 978-3-540-30704-4. 〈10.1007/11542384_18〉. 〈inria-00096700〉

Partager

Métriques

Consultations de la notice

93