Assume-guarantee abstraction refinement meets hybrid systems
- Sergiy Bogomolov
- , Goran Frehse
- , Marius Greitschus
- , Radu Grosu
- , Corina Pasareanu
- , Andreas Podelski
- , Thomas Strump
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
26
Citations
(Scopus)