On strong observational refinement and forward simulation (2021)

First Author: Derrick, J.
Attributed to:  Verifiably Correct Swarm Attestation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Parent Publication: arXiv

ISSN: 23318422