APA (7th ed.) Citation

Zuber, M., & Linges, F. (2012). Deriving type checkers. Technische Universität Berlin. https://doi.org/10.14279/depositonce-10203

Chicago Style (17th ed.) Citation

Zuber, Martin, and Fabian Linges. Deriving Type Checkers. Berlin: Technische Universität Berlin, 2012. https://doi.org/10.14279/depositonce-10203.

MLA (9th ed.) Citation

Zuber, Martin, and Fabian Linges. Deriving Type Checkers. Technische Universität Berlin, 2012. https://doi.org/10.14279/depositonce-10203.