Ultimate Kojak - (Competition Contribution).

Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski

Browse the full TACAS paper archive.