Dependability Engineering in Isabelle (2021)

First Author: Kammueller, F
Attributed to:  SUCCESS -- SecUre aCCESSibility for the internet of things funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://arxiv.org/abs/2112.04374

Type: Technical Report