Gomes, L., Madeira, A., Jain, M., & Barbosa, L. S. (2019). On the generation of equational dynamic logics for weighted imperative programs.
Citação do estilo Chicago (17ª ed.)Gomes, Leandro, Alexandre Madeira, Manisha Jain, e Luis S. Barbosa. On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. 2019.
Citação MLA (8ª ed.)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.