B Method - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2006

B Method

Abstract

Formalization and answers by Dominique Cansell .

Domains

Other [cs.OH]

Dates and versions

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

Identifiers

Cite

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⟩
39 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More