Formalization and Execution of STE in HOL (Extended Version)

Darbari, Ashish (2003) Formalization and Execution of STE in HOL (Extended Version).

Download

	HTML Download (5Kb)
	Postscript Download (470Kb)

Item Type:	Monograph (Technical Report)
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science
Item ID:	266033
Date Deposited:	02 Jul 2008 21:35
Last Modified:	01 Mar 2012 11:40
Contributors:	Darbari, Ashish (Author)
Date:	2003
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/266033

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

View Item