Refinement Semantics and Loop Rules


Hehner, E. C. R. and Gravell, A. M., (1999) Refinement Semantics and Loop Rules Wing, J. M., Woodcock, J. and Davies, J. (eds.) At Proc. FM'99: World Congress on Formal Methods. , pp. 1497-1510.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Toulouse, France
Venue - Dates: Proc. FM'99: World Congress on Formal Methods, 1999-09-01
Organisations: Electronic & Software Systems
ePrint ID: 250891
Date :
Date Event
September 1999Published
Date Deposited: 10 Mar 2000
Last Modified: 17 Apr 2017 23:46
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250891

Actions (login required)

View Item View Item