1
Published 2007
Table of Contents: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...
View full text
Electronic eBook