Citação norma APA

Gomes, L., Madeira, A., Jain, M., & Barbosa, L. S. (2019). On the generation of equational dynamic logics for weighted imperative programs.

Citação norma Chicago

Gomes, Leandro, Alexandre Madeira, Manisha Jain, and Luis S. Barbosa. On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. 2019.

Citação norma MLA

Gomes, Leandro, et al. On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. 2019.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.