Citação norma APA

Li, G., & Murawski, A. (2024). Probabilistic verification beyond context-freeness.

Citação norma Chicago

Li, G., and A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.

Citação norma MLA

Li, G., and A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.

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