Inproceedings,
Quantitative relational modelling with QAlloy.
P. Silva, J. Oliveira, N. Macedo, and A. Cunha.ESEC/SIGSOFT FSE, page 885-896. ACM, (2022)
Meta data
- BibTeX key
- conf/sigsoft/SilvaOMC22
- entry type
- inproceedings
- booktitle
- ESEC/SIGSOFT FSE
- year
- 2022
- pages
- 885-896
- publisher
- ACM
- crossref
- conf/sigsoft/2022
- ee
- https://doi.org/10.1145/3540250.3549154
- isbn
- 978-1-4503-9413-0
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2022.html#SilvaOMC22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigsoft/SilvaOMC22
%A Silva, Pedro
%A Oliveira, José N.
%A Macedo, Nuno
%A Cunha, Alcino
%B ESEC/SIGSOFT FSE
%D 2022
%E Roychoudhury, Abhik
%E Cadar, Cristian
%E Kim, Miryung
%I ACM
%K dblp
%P 885-896
%T Quantitative relational modelling with QAlloy.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2022.html#SilvaOMC22
%@ 978-1-4503-9413-0
@inproceedings{conf/sigsoft/SilvaOMC22,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Silva, Pedro and Oliveira, José N. and Macedo, Nuno and Cunha, Alcino},
biburl = {https://www.bibsonomy.org/bibtex/2fbf507d050a2f1b2675ab93be16f39a1/dblp},
booktitle = {ESEC/SIGSOFT FSE},
crossref = {conf/sigsoft/2022},
editor = {Roychoudhury, Abhik and Cadar, Cristian and Kim, Miryung},
ee = {https://doi.org/10.1145/3540250.3549154},
interhash = {a6e7ea88a326bd2df7d6747baccfb4a5},
intrahash = {fbf507d050a2f1b2675ab93be16f39a1},
isbn = {978-1-4503-9413-0},
keywords = {dblp},
pages = {885-896},
publisher = {ACM},
timestamp = {2024-04-09T17:53:12.000+0200},
title = {Quantitative relational modelling with QAlloy.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2022.html#SilvaOMC22},
year = 2022
}