Sarfraz Khurshid profile picture

Sarfraz Khurshid

Is this your author profile? Create an account to claim and customize it!

Stand Alone

ISSTA 2020
Runtime Verification
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings