Skip to main content

A Formal Refinement Framework for the Systems Modeling Language

J. Jacobs

Institution
Department of Computer Science‚ University of Oxford
Year
2015