Citação APA (7ª ed.)

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

Citação do estilo Chicago (17ª ed.)

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

Citação MLA (9ª ed.)

Li, G., e 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.