ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
Muhammad A. A. Pirzada

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

Show activities from other conferences

Using general profile