Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff

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)
Volume4262 LNCS
StatePublished - Dec 1 2006
Externally publishedYes
Event1st Combined International Workshop on Formal Approaches to Software Testing and Runtime Verification, FATES and RV 2006 - Seattle, WA, United States
Duration: Aug 15 2006Aug 16 2006

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this