Qadeer, Shaz - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Did you mean: shaw or shah or shad or shan or shao

Start Over

You searched for: author Qadeer, Shaz

Showing 1 - 3 of 3 results

Search Results

Cover image for Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

by Qadeer, Shaz
2013
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

by Gopalakrishnan, Ganesh
2011
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2003
Format: Book

Location
Access Content Online