selected publications
-
chapter
- Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework. Lecture Notes in Computer Science. 128-144. 2020
Close
Kammüller, Florian
Positions
Publications
Contact
full name
- Florian Kammüller
Publications in VIVO
Co-author Network
Map of Science