Compositionality and Refinement in Model−Driven Engineering (Formal Methods: Foundations and Applications − 15th Brazilian Symposium‚ SBMF 2012. Proceedings, 2012)

(untitled) - Davies, J; Gibbons, J; Milward, D; Welch, J