Citação norma APA

Gomes, L. R. M., 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 Rafael Moreira, Alexandre Madeira, Manisha Jain, and L. S. Barbosa. On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. 2019.

Citação norma MLA

Gomes, Leandro Rafael Moreira, 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.