Rozilawati Razali <br/><br/>
Usability of semi-formal and formal methods integration :  empirical assessments / 
Rozilawati Razali 
 - [United Kingdom] :  University of Southampton,  2008 
 - xiii, 404 p. :  ill. ;  30 cm. 
<br/><br/>Thesis (Ph. D.) - University of Southampton, 2008 
<br/><br/><label>ISBN: </label> Hadiah 
<br/><br/><label>Subjects--Corporate Names: </label><br/>University of Southampton--Dissertations
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Evaluation<br/>UML (Computer science)<br/>Software engineering<br/>Engineering--Computer programs--Evaluation<br/>Dissertations, Academic--United Kingdom