NUST Institutions Library Catalogue

Normal view MARC view
  • Software Engineering-X-MAN System Modelling and Verification

Software Engineering-X-MAN System Modelling and Verification (Topical Term)

Number of records used in: 1
Preferred form: Software Engineering-X-MAN System Modelling and Verification

Machine generated authority record.

Work cat.: (NUST): Tabbasum, Saher 35170, X-MAN System Modelling and Verification Through Automated Theorem Proving /, 2017

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