APA (7th ed.) Citation

Margaria, T., Steffen, B., & Zimmermann, W. (2006). On the Correctness of Transformations in Compiler Back-Ends. Leveraging Applications of Formal Methods, 74. https://doi.org/10.1007/11925040_6

Chicago Style (17th ed.) Citation

Margaria, Tiziana, Bernhard Steffen, and Wolf Zimmermann. "On the Correctness of Transformations in Compiler Back-Ends." Leveraging Applications of Formal Methods 2006: 74. https://doi.org/10.1007/11925040_6.

MLA (9th ed.) Citation

Margaria, Tiziana, et al. "On the Correctness of Transformations in Compiler Back-Ends." Leveraging Applications of Formal Methods, 2006, p. 74, https://doi.org/10.1007/11925040_6.