A Tactic Language for Ergo


Martin, A., Nickson, R. and Utting, M., (1997) A Tactic Language for Ergo Groves, L. and Reeves, S. (eds.) At Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. , pp. 186-207.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Singapore
Venue - Dates: Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science, 1997-07-01
Organisations: Electronics & Computer Science
ePrint ID: 250566
Date :
Date Event
July 1997Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250566

Actions (login required)

View Item View Item