NUST Institutions Library Catalogue

Normal view MARC view
  • Grumberg Orna

PB 230p Grumberg Orna (Personal Name)

Number of records used in: 1
Preferred form: PB 230p Grumberg Orna

Machine generated authority record.

Work cat.: (NUST)23555: PB 230p Grumberg Orna , 25 Years of Model Checking History Achievements,Perspectives

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