e-Informatica Software Engineering Journal (Jan 2008)

Trustworthy Assembly of Components using the B Refinement

Souqui?re Jeanine,
Lanoix Arnaud

Affiliations

Souqui?re Jeanine
Lanoix Arnaud

Journal volume & issue: Vol. 2, no. 1
pp. 9 – 28

Abstract

No abstracts available.

Published in e-Informatica Software Engineering Journal

ISSN: 1897-7979 (Print); 2084-4840 (Online)
Publisher: Wroclaw University of Science and Technology
Country of publisher: Poland
LCC subjects: Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
Website: http://www.e-informatyka.pl/

About the journal