The synergy of precise and fast abstractions for program verification.

Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich

Browse the full SAC paper archive.