APA (7th ed.) Citation

DELZANNO, G. (2007). Constraint-based automatic verification of abstract models of multithreaded programs. Theory and practice of logic programming, 7(1-2), 67-91. https://doi.org/10.1017/S1471068406002821

Chicago Style (17th ed.) Citation

DELZANNO, GIORGIO. "Constraint-based Automatic Verification of Abstract Models of Multithreaded Programs." Theory and Practice of Logic Programming 7, no. 1-2 (2007): 67-91. https://doi.org/10.1017/S1471068406002821.

MLA (9th ed.) Citation

DELZANNO, GIORGIO. "Constraint-based Automatic Verification of Abstract Models of Multithreaded Programs." Theory and Practice of Logic Programming, vol. 7, no. 1-2, 2007, pp. 67-91, https://doi.org/10.1017/S1471068406002821.