Parkin, G I; Austin, S M (1994) Overview: survey of formal methods in industry. IFIP Trans. C, Commun. Syst. (Netherlands), C - 22. 189 - 203

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:	https://eprintspublications.npl.co.uk/id/eprint/241