Dynamic testing via automata learning
- Harald Raffelt
- , Bernhard Steffen
- , Tiziana Margaria
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review