Formal methods applied to complex systems : implementation of the B method /
Boulanger, Jean-Louis,editor.
Includes bibliographical references and index.
Formal methods (Computer science)
B method (Computer science)
Computer science