Normal view
MARC view
- Ahmad, Waqar
Ahmad, Waqar (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Ahmad, Waqar, Formal Dependability Analysis using Higher-order-logic Theorem Proving /, 2017.