Bart Meyers, Hans Vangheluwe, Joachim Denil, Rick Salay. A Framework for Temporal Verification Support in Domain-Specific Modelling. IEEE Trans. Software Eng., 46(4):362-404, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.