Extensible Record Structures in Event-B (2021)

First Author: Asieh Salehi Fathabadi
Attributed to:  Holistic Design of Secure Systems on Capability Hardware (HD-Sec) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Type: Working Paper