1995
Journal Article
Title

Systematic testing and formal verification to validate reactive programs

Author(s)
Müllerburg, M.
Holenderski, L.
Mattheeis, A.
Merceron, A.
Morley, M.
Journal
DOI
Language
English