![](/img/cover-not-exists.png)
[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - The electrum analyzer: model checking relational first-order temporal specifications
Brunel, Julien, Chemouil, David, Cunha, Alcino, Macedo, NunoYear:
2018
Language:
english
DOI:
10.1145/3238147.3240475
File:
PDF, 579 KB
english, 2018