Publication: Special issue: international workshop on runtime verification 2007
Program
KU-Authors
KU Authors
Co-Authors
Sokolsky, Oleg
Editor & Affiliation
Compiler & Affiliation
Translator
Other Contributor
Date
Language
Type
Embargo Status
N/A
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
BAKILACAK
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
item.page.datauri
Link
Rights
N/A