Normal view MARC view
  • Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve

Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve (Personal Name)

Number of records used in: 1
Preferred form: Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve

Machine generated authority record.

Work cat.: (IN-BhIIT)12689: Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve, Model Checking, 2018

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha