B Method - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2006

B Method

Résumé

Formalization and answers by Dominique Cansell .

Domaines

Autre [cs.OH]

Dates et versions

inria-00096700 , version 1 (19-09-2006)

Identifiants

Citer

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⟩
40 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More