CURRENTLY SOLD OUT

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers by Martin Leucker (Paperback, 2008)