Gomes, L. R. M. (2022). Weighted computations: Semantics and program logics.
Citação norma ChicagoGomes, Leandro Rafael Moreira. Weighted Computations: Semantics and Program Logics. 2022.
Citação norma MLAGomes, Leandro Rafael Moreira. Weighted Computations: Semantics and Program Logics. 2022.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.