< back to main site

Publications

Formal methods, structured techniques, and security - A unified methodology.

Lovering, A (1995) Formal methods, structured techniques, and security - A unified methodology. NPL Report. DITC 235/95

Full text not available from this repository.

Abstract

No abstract available

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

Actions (login required)

View Item View Item