On strong observational refinement and forward simulation (2021)

First Author: Derrick, J.
Attributed to:  Academic Centre of Excellence in Cyber Security Research - University of Surrey funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Parent Publication: arXiv

ISSN: 23318422