< back to main site

Publications

Survey of formal methods in software engineering.

Parkin, G I (1994) Survey of formal methods in software engineering. LOTOS News, 1 (Februa). pp. 18-20.

Full text not available from this repository.

Abstract

No abstract available

Item Type: Article
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/1696

Actions (login required)

View Item View Item