ISBN 9783642046933 books & textbook
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science, 5779)
Bensalem, Saddek Peled, Doron A.
Springer /2009-09-23 Paperback / 210 Pages
isbn-10: 3642046932 / isbn-13: 9783642046933
