Citace podle APA (7th ed.)

CRISTIÁ, M., & ROSSI, G. (2024). Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification. Theory and practice of logic programming, 24(5), 1011-1030. https://doi.org/10.1017/S1471068424000206

Citace podle Chicago (17th ed.)

CRISTIÁ, MAXIMILIANO, a GIANFRANCO ROSSI. "Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification." Theory and Practice of Logic Programming 24, no. 5 (2024): 1011-1030. https://doi.org/10.1017/S1471068424000206.

Citace podle MLA (9th ed.)

CRISTIÁ, MAXIMILIANO, a GIANFRANCO ROSSI. "Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification." Theory and Practice of Logic Programming, vol. 24, no. 5, 2024, pp. 1011-1030, https://doi.org/10.1017/S1471068424000206.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..