A Survey of Practical Formal Methods for Security (2022)

First Author: Kulik T
Attributed to:  Academic Centre of Excellence in Cyber Security Research - University of Surrey funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/abs/2109.01362

Type: Journal Article/Review

Parent Publication: Formal Aspects of Computing