APA (7th ed.) Citation

Kammüller, F., & Sudhof, H. (2007). A formalization of typed aspects for the sigma-calculus in Isabelle/HOL. Technische Universität Berlin. https://doi.org/10.14279/depositonce-10306

Chicago Style (17th ed.) Citation

Kammüller, Florian, and Henry Sudhof. A Formalization of Typed Aspects for the Sigma-calculus in Isabelle/HOL. Berlin: Technische Universität Berlin, 2007. https://doi.org/10.14279/depositonce-10306.

MLA (9th ed.) Citation

Kammüller, Florian, and Henry Sudhof. A Formalization of Typed Aspects for the Sigma-calculus in Isabelle/HOL. Technische Universität Berlin, 2007. https://doi.org/10.14279/depositonce-10306.

Warning: These citations may not always be 100% accurate.