The Refinement Calculator: Proof Support for Program Refinement
The Refinement Calculator: Proof Support for Program Refinement
ISBN 981-3083-31-X
40-61
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Grundy, J.
6a4aac31-2aeb-4f17-9848-9b88dd2f2c74
Långbacka, T.
f4c31c7a-e75b-4e15-b053-06d5e4aee8c7
Ruksenas, R.
c4caf0ba-5bf9-4c45-b92b-d4796484aa97
Wright, J. von
308d9e86-f6c3-45d3-bb85-df8f2e321671
Groves, L.
66e2ab40-4352-4761-a882-c2883c2c1817
Reeves, S.
65894d15-efa9-4217-9259-3abb294a2982
1997
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Grundy, J.
6a4aac31-2aeb-4f17-9848-9b88dd2f2c74
Långbacka, T.
f4c31c7a-e75b-4e15-b053-06d5e4aee8c7
Ruksenas, R.
c4caf0ba-5bf9-4c45-b92b-d4796484aa97
Wright, J. von
308d9e86-f6c3-45d3-bb85-df8f2e321671
Groves, L.
66e2ab40-4352-4761-a882-c2883c2c1817
Reeves, S.
65894d15-efa9-4217-9259-3abb294a2982
Butler, M. J., Grundy, J., Långbacka, T., Ruksenas, R. and Wright, J. von
(1997)
The Refinement Calculator: Proof Support for Program Refinement.
Groves, L. and Reeves, S.
(eds.)
Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science.
.
Record type:
Conference or Workshop Item
(Paper)
Other
dsse-tr-97-6.ps
- Other
More information
Published date: 1997
Additional Information:
Address: Wellington, New Zealand
Venue - Dates:
Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science, 1997-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250550
URI: http://eprints.soton.ac.uk/id/eprint/250550
ISBN: ISBN 981-3083-31-X
PURE UUID: d7486726-8385-4763-a16c-c47d51ed95af
Catalogue record
Date deposited: 17 Jul 2000
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Author:
J. Grundy
Author:
T. Långbacka
Author:
R. Ruksenas
Author:
J. von Wright
Editor:
L. Groves
Editor:
S. Reeves
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics