Publication: Special issue: international workshop on runtime verification 2007
Program
KU-Authors
KU Authors
Co-Authors
Sokolsky, Oleg
Advisor
Publication Date
2010
Language
English
Type
Other
Journal Title
Journal ISSN
Volume Title
Abstract
N/A
Description
Source:
Journal of Logic and Computation
Publisher:
Oxford University Press (OUP)
Keywords:
Subject
Computer science, Logic