Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
Pages (from-to)V-VI
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6418 LNCS
StatePublished - 2010
Event1st International Conference on Runtime Verification, RV 2010 - St. Julians, Malta
Duration: Nov 1 2010Nov 4 2010

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this