B Method
Abstract
Formalization and answers by Dominique Cansell .
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Dominique Cansell : Connect in order to contact the contributor
https://inria.hal.science/inria-00096700
Submitted on : Tuesday, September 19, 2006-9:55:30 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM