Lovering, A (1993) Issues in using formal methods for specifying security systems. NPL Report. DITC 224/93

Full text not available from this repository.

Abstract

No abstract available

Item Type:	Report/Guide (NPL Report)
NPL Report No.:	DITC 224/93
Subjects:	Mathematics and Scientific Computing Mathematics and Scientific Computing > Software Engineering
Last Modified:	02 Feb 2018 13:19
URI:	https://eprintspublications.npl.co.uk/id/eprint/132