Citação norma APA

Pastor Pérez, P. E. (2022). Verification of Greedy Algorithms in Dafny.

Citação norma Chicago

Pastor Pérez, Paula Eugenia. Verification of Greedy Algorithms in Dafny. 2022.

Citação norma MLA

Pastor Pérez, Paula Eugenia. Verification of Greedy Algorithms in Dafny. 2022.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.