Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) by Howard Barringer (Editor), Ylies Falcone (Editor), Bernd Finkbeiner (Editor), Klaus Havelund (Editor), Insup Lee (Editor), Gordon Pace (Editor), Grigore Rosu (Editor), Oleg Sokolsky (Editor), Nikolai Tillmann (Editor) - 2010-12-23

by Howard Barringer (Editor), Ylies Falcone (Editor), Bernd Finkbeiner (Editor), Klaus Havelund (Editor), Insup Lee (Editor), Gordon Pace (Editor), Grigore Rosu (Editor), Oleg Sokolsky (Editor), Nikolai Tillmann (Editor)