Normal view
MARC view
- Tabbasum, Saher
Tabbasum, Saher (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Tabbasum, Saher, X-MAN System Modelling and Verification Through Automated Theorem Proving /, 2017