1
Runtime Verification [E-Book]: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /
Other Personal Name(s): “...Khurshid, Sarfraz....”

Full text 
Favorites
Saved in:
2
Abstract State Machines, Alloy, B, VDM, and Z [E-Book]: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Other Personal Name(s): “...Khurshid, Sarfraz....”

Full text 
Favorites
Saved in:
3
Abstract State Machines, Alloy, B and Z [E-Book] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Other Personal Name(s): “...Khurshid, Sarfraz...”

Full text 
Favorites
Saved in:

Narrow Search Results