Open AccessUsability Requirement of Formal Verification Tools
Author(s) -
Rozilawati Razali,
P. W. Garratt
Publication year - 2012
Publication title -
asia-pacific journal of information technology and multimedia
Language(s) - English
Resource type - Journals
ISSN - 2289-2192
DOI - 10.17576/apjitm-2012-0102-04
Subject(s) - humanities , philosophy