Where next for formal methods?

Journal article

Open access

Peer reviewed

Where next for formal methods?

J Heather and K Wei

Lecture Notes in Computer Science, Vol.5087, pp.52-58

2009

DOI: https://doi.org/10.1007/978-3-642-04904-0_10

Abstract

Files and links (2)

pdf

where next for formal methods ispw14124.79 kBDownload View

TextSRIDA, Open Access

url

http://dx.doi.org/10.1007/978-3-642-04904-0_10View

Published (Version of record)

Metrics

355 File views/ downloads

13 Record Views

Details

Title: Where next for formal methods?
Creators: J Heather
K Wei
Publication Details: Lecture Notes in Computer Science, Vol.5087, pp.52-58
Publisher: Springer
Date published: 2009
Date submitted: 05/01/2012
Identifiers: 99513307802346
Academic Unit: Department of Computer Science
Resource Type: Journal article