Razali, Rozilawati (2008) Usability of Semi-formal and Formal Methods Integration - Empirical Assessments. University of Southampton, DSSE/ECS, Doctoral Thesis.
Record type:
Thesis
(Doctoral)
More information
Accepted/In Press date: March 2008
Organisations:
University of Southampton, Electronics & Computer Science
Identifiers
Local EPrints ID: 265391
URI: http://eprints.soton.ac.uk/id/eprint/265391
PURE UUID: be6ded8f-e778-48fb-ad36-51dde2d8116b
Catalogue record
Date deposited: 04 Apr 2008 10:10
Last modified: 14 Mar 2024 08:08
Export record
Contributors
Author:
Rozilawati Razali
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.