APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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