Semantic comparisons of Alloy models

Jan Oliver Ringert, Syed Waqee Wali. Semantic comparisons of Alloy models. In Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrahão, editors, MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020. pages 165-174, ACM, 2020. [doi]

Abstract

Abstract is missing.