Today's Hours: King Library7:15AM - 9PM

BEST Library7:30AM - 8PM

Amos Music Library8AM - 5PM

Wertz Art & Architecture Library8AM - 5PM

University Archives8AM - 4PM

Western College Memorial ArchivesClosed

Rentschler Library, Hamilton Campus8AM - 7PM

Gardner-Harvey Library, Middletown Campus8AM - 6PM

Intersession and Summer Hours

Searching Books & More : "VMCAI 2010 (2010 : Madrid, Spain)"

OneSearch
Books & More
Google Scholar
OhioLINK
Journal Titles
Library Web Site

OneSearch

Books & More

Google Scholar

OhioLINK

Journal Titles

Library Web Site

1 result found in Books & More

Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings

Cover images provided by Open Library

Author(s):VMCAI 2010 (2010 : Madrid, Spain)

Published:Berlin ; New York : Springer, c2010

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Miami University Libraries | 151 South Campus Avenue | Oxford, Ohio 45056 | 513.529.4141 | Miami University | myMiami | Staff Area