Wolverine: Battling bugs with interpolants (competition contribution)
- Georg Weissenbacher
- , Daniel Kroening
- , Sharad Malik
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6
Link opens in a new tab
Scopus
citations