Correct-by-construction model driven engineering composition operators

Abstract

Publication
Formal Aspects of Computing, Springer Verlag
Date