Normal view
MARC view
- Waqar Ahmad
Waqar Ahmad (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Waqar Ahmad, Formal Dependability analysis using higher-order-logic theorem proving, 2017