Citação norma APA

Brunel, J., Chemouil, D., Cunha, A., & Macedo, N. (2018). The electrum analyzer: Model checking relational first-order temporal specifications.

Citação norma Chicago

Brunel, Julien, David Chemouil, Alcino Cunha, and Nuno Macedo. The Electrum Analyzer: Model Checking Relational First-order Temporal Specifications. 2018.

Citação norma MLA

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.