Brunel, J., Chemouil, D., Cunha, A., & Macedo, N. (2018). The electrum analyzer: Model checking relational first-order temporal specifications.
Citação do estilo Chicago (17ª ed.)Brunel, Julien, David Chemouil, Alcino Cunha, e Nuno Macedo. The Electrum Analyzer: Model Checking Relational First-order Temporal Specifications. 2018.
Citação MLA (8ª ed.)Brunel, Julien, et al. The Electrum Analyzer: Model Checking Relational First-order Temporal Specifications. 2018.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.