Disjunctive image computation for embedded software verification
- Chao Wang
- , Zijiang Yang
- , Franjo Ivančić
- , Aarti Gupta
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
12
Link opens in a new tab
Scopus
citations