Florian Kammüller -

Registered user since Wed 3 Oct 2018

Name:Florian Kammüller

Affiliation:Middlesex University, UK

Contributions

SPIoT 2019	Committee Member in Organizing Committee within the SPIoT-track Author of The Refinement-Risk Loop - A Process for Security Engineering in Isabelle within the SPIoT-track Committee Member in Program Committee within the SPIoT-track