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