Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL
Gravell, A. M. and Pratten, C. H. (1998) Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL. Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings The Australian National University, Computer Sciences Lab 98-08, 73-84.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Canberra, Australia |
| ISBNs: | 0731548000 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 250515 |
| Date Deposited: | 14 Jun 1999 |
| Last Modified: | 02 Mar 2012 12:18 |
| Contributors: | Gravell, A. M. (Author) Pratten, C. H. (Author) Grundy, J. (Editor) Newey, M. (Editor) |
| Date: | October 1998 |
| Additional Information: | Address: Canberra, Australia |
| Status: | Published |
| Publisher: | The Australian National University, Computer Sciences Lab 98-08 |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250515 |
Actions (login required)
 |
View Item |
