Gomes, L. R. M. (2022). Weighted computations: Semantics and program logics.
Chicago Style (17th ed.) CitationGomes, Leandro Rafael Moreira. Weighted Computations: Semantics and Program Logics. 2022.
MLA (8th ed.) CitationGomes, Leandro Rafael Moreira. Weighted Computations: Semantics and Program Logics. 2022.
Warning: These citations may not always be 100% accurate.