Computer ScienceEngineering
Trustworthy Assembly of Components using the B Refnement
Arnaud Lanoix, Jeanine Souquiferes
Abstract
Abstract is not available.
Citation format
LANOIX, Arnaud; SOUQUIFERES, Jeanine. Trustworthy assembly of components using the b refnement. e-Informatica Software Engineering Journal, 2008, 2: 9–28.