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]
@inproceedings{RingertW20,
title = {Semantic comparisons of Alloy models},
author = {Jan Oliver Ringert and Syed Waqee Wali},
year = {2020},
doi = {10.1145/3365438.3410955},
url = {https://doi.org/10.1145/3365438.3410955},
researchr = {https://researchr.org/publication/RingertW20},
cites = {0},
citedby = {0},
pages = {165-174},
booktitle = {MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020},
editor = {Eugene Syriani and Houari A. Sahraoui and Juan de Lara and Silvia Abrahão},
publisher = {ACM},
isbn = {978-1-4503-7019-6},
}