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
Lutz, Bianca
Positions
Publications
Contact
full name
- Bianca Lutz
Publications in VIVO
Co-author Network
Map of Science