TY  - BOOK
AU  - Rozilawati Razali
TI  - Usability of semi-formal and formal methods integration: empirical assessments 
PY  - 2008///
CY  - [United Kingdom]
PB  - University of Southampton
KW  - University of Southampton
KW  - Dissertations
KW  - Computer software
KW  - Evaluation
KW  - UML (Computer science)
KW  - Software engineering
KW  - Engineering
KW  - Computer programs
KW  - Dissertations, Academic
KW  - United Kingdom
N1  - Thesis (Ph. D.) - University of Southampton, 2008
ER  -