APA (7th ed.) Citation

Huch, F. (2024). Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds.

Chicago Style (17th ed.) Citation

Huch, Fabian. Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds. 2024.

MLA (9th ed.) Citation

Huch, Fabian. Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds. 2024.

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