1994
Journal Article
Title

Combining testing and formal verification for validating reactive systems - Position Paper

Author(s)
Müllerburg, M.
Holenderski, L.
Journal
Language
English