Usability of semi-formal and formal methods integration : empirical assessments /

Saved in:
Bibliographic Details
Main Author: Rozilawati Razali
Format: Thesis Book
Language:English
Published: [United Kingdom] : University of Southampton, 2008
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xiii, 404 p. : ill. ; 30 cm.