Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework Chapter

authors

Kammüller, Florian

publication date

January 1, 2020

has subject area

published in

Lecture Notes in Computer Science

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-030-66172-4_8

start page

128

end page

144