Preface

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

Research output: Contribution to journalEditorial

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 - Jan 1 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
  • Computer Science(all)

Cite this

Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., & Tillmann, N. (2010). Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6418 LNCS, V-VI.