Executing Formal Specifications Need Not be Harmful

Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful. Software Engineering J., 11, (2), 104-110.


Full text not available from this repository.

Item Type: Article
ISSNs: 0268-6961
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250586
Accepted Date and Publication Date:
March 1996Published
Date Deposited: 14 Jun 1999
Last Modified: 31 Mar 2016 13:50
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250586

Actions (login required)

View Item View Item