Registered user since Fri 27 Sep 2024
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
Contributions
Using general profile