PakCat catalogue record

Formal Dependability analysis using higher-order-logic theorem proving

By Ahmad Waqar

Bibliographic details

Publisher
NUST-SEECS
Publication place
Islamabad
Publication year
2017
Language
English
Physical description
181p.

Additional authors

Supervisors:Dr. Osman Hasan