Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha. Quantitative relational modelling with QAlloy. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 885-896, ACM, 2022. [doi]
@inproceedings{SilvaOMC22,
title = {Quantitative relational modelling with QAlloy},
author = {Pedro Silva and José N. Oliveira and Nuno Macedo and Alcino Cunha},
year = {2022},
doi = {10.1145/3540250.3549154},
url = {https://doi.org/10.1145/3540250.3549154},
researchr = {https://researchr.org/publication/SilvaOMC22},
cites = {0},
citedby = {0},
pages = {885-896},
booktitle = {Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022},
editor = {Abhik Roychoudhury and Cristian Cadar and Miryung Kim},
publisher = {ACM},
isbn = {978-1-4503-9413-0},
}