Behavioral Conformance Verification in an Integrated Approach Using UML and B.

Eric Meyer, Thomas Santen

Browse the full IFM paper archive.