Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).

Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler

Browse the full TACAS paper archive.