Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lars Hupel
Verified Iptables Firewall Analysis and Verification
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Verified Compiler From Isabelle/Hol to CakeML
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science