- ECU Libraries Catalog

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

Start Over

You searched for: author_facet VMCAI 2004

Showing 1 - 2 of 2 results

Search Results

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

by VMCAI 2004
2004
Format: Electronic

Location
Access Content Online

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

by VMCAI 2004
2004
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 V53 2004	✔ Available