A survey of formal methods for security (2022)

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

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 34

Parent Publication: Formal Aspects of Computing

Issue: 1