Runtime Verification
Subtitle: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
By: edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann
Contributors: Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus, 1955-; Lee, Insup; Pace, Gordon; Roşu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6418
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642166112; 9783642166129
Subjects: Logic design; Computer science; Software engineering; Computer software