acm sigbed
|
emsoft
|
participants
Christoph Schulze
EMSOFT 2017: 17th International Conference on Embedded Software
Improving Invariant Mining via Static Analysis
Christoph Schulze
and
Rance Cleaveland
10.1145/3126504
https://cybercardia.cs.stonybrook.edu/sites/cybercardia.cs.stonybrook.edu/files/a167-schulze.pdf