Formalization and Execution of STE in HOL
Darbari, Ashish (2003) Formalization and Execution of STE in HOL. At 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLS), Rome, Italy, 08 - 12 Sep 2003. Springer .
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Published Version
Download (233Kb) |
| Item Type: | Conference or Workshop Item (Poster) |
|---|---|
| Additional Information: | Event Dates: 8-12 Sep 2003 |
| ISBNs: | 3540406646 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 266032 |
| Date Deposited: | 02 Jul 2008 21:30 |
| Last Modified: | 01 Mar 2012 18:13 |
| Contributors: | Darbari, Ashish (Author) |
| Date: | 2003 |
| Additional Information: | Event Dates: 8-12 Sep 2003 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/266032 |
Actions (login required)
 |
View Item |
