Formal Methods: Foundations and Applications: 15th Brazilian ...
Preview
Compositionality and Refinement in Model-Driven Engineering Jim Davies,
Jeremy Gibbons, David Milward, and James Welch Department of Computer
Science, University of Oxford, Oxford OX1 3QD, UK {jim.davies,jeremy.gibbons ...