Publication: Special issue: international workshop on runtime verification 2007
Program
KU-Authors
KU Authors
Co-Authors
Sokolsky, Oleg
Publication Date
Language
Type
Embargo Status
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
Source
Publisher
Oxford University Press (OUP)
Subject
Computer science, Logic
Citation
Has Part
Source
Journal of Logic and Computation
Book Series Title
Edition
DOI
10.1093/logcom/exn074