Kammüller, F. (2023). Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security.
Style de citation Chicago (17e éd.)Kammüller, Florian. Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security. 2023.
Style de citation MLA (9e éd.)Kammüller, Florian. Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.