"ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution)."

Alexander Nutz et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics