Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
The electrum analyzer: model checking relational first-order temporal specifications
ASE, 2018.
@inproceedings{ASE-2018-BrunelCCM,
author = "Julien Brunel and David Chemouil and Alcino Cunha and Nuno Macedo",
booktitle = "{Proceedings of the 33rd International Conference on Automated Software Engineering}",
doi = "10.1145/3238147.3240475",
pages = "884--887",
publisher = "{ACM}",
title = "{The electrum analyzer: model checking relational first-order temporal specifications}",
year = 2018,
}