Reviewing and Classification of Software Model Checking Tools

HAMID, SITI HAFIZAH BINTI AB (2015) Reviewing and Classification of Software Model Checking Tools. In: Lecture Notes in Electrical Engineering: Advanced Computer and Communication Engineering Technology. Springer Verlag. ISBN 10.1007/978-3-319-24584-3_23

Full text not available from this repository.
Item Type: Book Section
Uncontrolled Keywords: Reviewing and Classification of Software Model Checking Tools
Subjects: T Technology
Depositing User: MR. ADNAN YAHYA
Date Deposited: 18 Jan 2016
Last Modified: 18 Jan 2016
URI: http://repository.um.edu.my/id/eprint/109839

Actions (login required)

View Item View Item