A Tactic Calculus - Abridged version

Martin, A. P., Gardiner, P. H. B. and Woodcock, J. C. P. (1996) A Tactic Calculus - Abridged version. Formal Aspects of Computing, 8, 479-489.


Full text not available from this repository.

Item Type: Article
ISSNs: 0934-5043
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250612
Accepted Date and Publication Date:
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250612

Actions (login required)

View Item View Item