APA (7th ed.) Citation

Kammüller, F. (2023). Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security.

Chicago Style (17th ed.) Citation

Kammüller, Florian. Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security. 2023.

MLA (9th ed.) Citation

Kammüller, Florian. Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security. 2023.

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