Runtime Verification [E-Book] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann.
Barringer, Howard.
Falcone, Ylies. / Finkbeiner, Bernd. / Havelund, Klaus. / Lee, Insup. / Pace, Gordon. / Roşu, Grigore. / Sokolsky, Oleg. / Tillmann, Nikolai.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
online resource
englisch
9783642166129
Lecture notes in computer science ; 6418
Full Text
Description not available.