A formal framework to prove the correctness of model driven engineering composition operators

Abstract

Publication
ICFEM’14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Springer
Date