A Tactic Language for Ergo


Martin, A., Nickson, R. and Utting, M. (1997) A Tactic Language for Ergo. Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science Springer-Verlag, Berlin, 186-207.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Address: Singapore
ISBNs: 981308331
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250566
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Publisher: Springer-Verlag, Berlin
Further Information:Google Scholar
ISI Citation Count:2
URI: http://eprints.soton.ac.uk/id/eprint/250566

Actions (login required)

View Item View Item