NUST Institutions Library Catalogue

Normal view MARC view
  • Supervisors:Dr. Osman Hasan

Supervisors:Dr. Osman Hasan (Personal Name)

Number of records used in: 1
Preferred form: Supervisors:Dr. Osman Hasan

Machine generated authority record.

Work cat.: (NUST)332384: Ahmad Waqar 18520, Formal Dependability analysis using higher-order-logic theorem proving/, 2017

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.