Personal Information
Organization / Workplace
Islamabad, Pakistan
Occupation
Software Engineer
Tags
formal specification
model checking
atm
See more