Usability of Semi-formal and Formal Methods Integration - Empirical Assessments

Razali, Rozilawati (2008) Usability of Semi-formal and Formal Methods Integration - Empirical Assessments. University of Southampton, DSSE/ECS, Doctoral Thesis .

Download

PDF
Download (3088Kb)

Item Type:	Thesis (Doctoral)
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science
Item ID:	265391
Date Deposited:	04 Apr 2008 10:10
Last Modified:	02 Mar 2012 07:49
Contributors:	Razali, Rozilawati (Author)
Date:	March 2008
Status:	Unpublished
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/265391

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

Actions (login required)

View Item