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

[img] PDF rrazali_phd_thesis.pdf - Other
Download (3MB)
Item Type: Thesis (Doctoral)
Organisations: University of Southampton, Electronics & Computer Science
ePrint ID: 265391
Date :
Date Event
March 2008Accepted/In Press
Date Deposited: 04 Apr 2008 10:10
Last Modified: 17 Apr 2017 19:20
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265391

Actions (login required)

View Item View Item