A Systematic Approach to Transform OMT Diagrams to a B Specification
Journal article published in 1999 by
Eric Meyer,
Jeanine Souquières
This paper is made freely available by the publisher.
Full text: Download
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 