Name:Muhammad A. A. Pirzada

Country:United Kingdom

Affiliation:The University of Manchester

Research interests:Software Verification, Invariants, Formal Methods, Formal Verification, Bounded Model Checking