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.
Saved in:
Full text |
|
Personal Name(s): | Barringer, Howard. |
Falcone, Ylies. / Finkbeiner, Bernd. / Havelund, Klaus. / Lee, Insup. / Pace, Gordon. / Roşu, Grigore. / Sokolsky, Oleg. / Tillmann, Nikolai. | |
Imprint: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
Physical Description: |
online resource |
Note: |
englisch |
ISBN: |
9783642166129 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
6418 |
Subject (LOC): |
Description not available. |