Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-66172-4_8
PubMed Identifier: 36061489
Publication URI: http://europepmc.org/abstract/MED/36061489
Type: Book Chapter
Book Title: Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2020 International Workshops, DPM 2020 and CBT 2020, Guildford, UK, September 17-18, 2020, Revised Selected Papers (2020)
Page Reference: 128-144
ISSN: 2095-221X