Authors: Facon, P Laleau, R Nguyen, HP

Citation: P. Facon et al., From OMT diagrams to B specifications, FACIT, 2001, pp. 57-77

Authors: Laleau, R Polack, F

Citation: R. Laleau et F. Polack, Specification of integrity-preserving operations in information systems byusing a formal UML-based language, INF SOFTW T, 43(12), 2001, pp. 693-704