ISBN 354089246X books & textbook
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science, 5289)
Springer /2008-10-23 Paperback / 196 Pages
isbn-10: 354089246X / isbn-13: 9783540892465
