Normal view
MARC view
- Ahmed, Muhammad
Ahmed, Muhammad (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Ahmed, Muhammad, Proof Automation for the Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactics Generation and Proof Synthesis in HOL4/