Program Derivation using the Refinement Calculator
Butler, M. J. and Långbacka, T. (1996) Program Derivation using the Refinement Calculator. In, Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125 Springer-Verlag, Berlin, 93-108.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_postscript.png) |
Postscript
Download (189Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Address: Turku, Finland |
| ISBNs: | 3540615873 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 250578 |
| Date Deposited: | 17 Jul 2000 |
| Last Modified: | 02 Mar 2012 12:38 |
| Contributors: | Butler, M. J. (Author) Långbacka, T. (Author) Wright, J. von (Editor) Grundy, J. (Editor) Harrison, J. (Editor) |
| Date: | 1996 |
| Additional Information: | Address: Turku, Finland |
| Status: | Published |
| Publisher: | Springer-Verlag, Berlin |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250578 |
Actions (login required)
 |
View Item |
