Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
We couldn't estimate the reading time for this book.
Author
Contributions
- Falcone, Ylies - Contributor
- Finkbeiner, Bernd - Contributor
- Havelund, Klaus, 1955- - Contributor
- Lee, Insup - Contributor
- Pace, Gordon - Contributor
and 4 more
- Roşu, Grigore - Contributor
- Sokolsky, Oleg - Contributor
- Tillmann, Nikolai - Contributor
- SpringerLink (Online service) - Contributor
Publication
2010 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Electronic resource
Identifiers
- Internet Archiveruntimeverificat00barr
- Internet Archiveruntimeverificat00barr_050
- Internet Archiveruntimeverificat00barr_709
- Internet Archiveruntimeverificat0000rvco
- ISBN-139783642166112
and 6 more
- ISBN-139783642166129
- ISBN-103642166113
- ISBN-103642166121
- Better World Books9783642166112
- Better World Books9783642166129
- Open LibraryOL25559661M
Classifications
- LCCQA76.76.V47
- LCCQA75.5-76.95
Subjects
Series Statement
- Lecture Notes in Computer Science -- 6418
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!