The University of Warwick Library - WebBridge
Unit checking: Symbolic model checking for a unit of code ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY
International Symposium on Verification - Theory and Practice in honor of the 64th Birthday of Zohar Manna.
Sorry - based on the information provided, WebBridge cannot offer
If online access is not found this means that the Library's subscriptions do not cover access to the article.
You may still be able to access it online if there is an open access version available.
- Check availability in Library Search to confirm whether we have the print journal at
the Library or if we have online access to the journal but not for the year you required.
- When the Library has no access to a specific print or online article you can use Article Reach to request a copy.