Introduction to the special issue on runtime verification

Oleg Sokolsky, Grigore Roşu

Research output: Contribution to journalEditorial

Original languageEnglish (US)
Pages (from-to)233-235
Number of pages3
JournalFormal Methods in System Design
Volume41
Issue number3
DOIs
StatePublished - Dec 1 2012

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture

Cite this