Cita APA (7a ed.)

Somorjai, M., Dobos-Kovács, M., Ádám, Z., Bajczi, L., & Vörös, A. (2024). Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification.

Cita Chicago Style (17a ed.)

Somorjai, Márk, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi, y András Vörös. Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification. 2024.

Cita MLA (9a ed.)

Somorjai, Márk, et al. Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification. 2024.