TY  - RPRT
TI  - Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
AU  - Florian Kammüller
PY  - 2023
UR  - https://arxiv.org/abs/2312.17555
ID  - 2312.17555
ER  -