Showing 1 - 3 results of 3 for search 'Khurshid, Sarfraz', query time: 0.02s
Refine Results
-
1
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen. by Khurshid, Sarfraz
Published 2012Call Number: Loading…Full text (Wentworth users only).
Located: Loading…
Electronic eBook -
2
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sar... by Frappier, Marc
Published 2010Other Authors:Call Number: Loading…Full text (Wentworth users only).
Located: Loading…
Electronic eBook -
3
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefan... by Derrick, John
Published 2012Other Authors:Call Number: Loading…Full text (Wentworth users only).
Located: Loading…
Electronic eBook