Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework (2022)

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: https://doi.org/10.1007/978-3-031-21707-4_22

Type: Conference/Paper/Proceeding/Abstract

Volume: Volume 13518 LNCS Springer