Publication: Special issue: international workshop on runtime verification 2007
Program
KU-Authors
KU Authors
Co-Authors
Sokolsky, Oleg
Advisor
Date
Language
Type
Journal Title
Journal ISSN
Volume Title
Abstract
BAKILACAK
Source:
Publisher:
Oxford University Press (OUP)
Keywords:
Keywords
Computer science, Logic