MoL-2020-19: Frans Maarten Westers Dynamic Logics for Model Transformations 1.Full Text, 2.Abstract. < Back
