BUBAAK: Dynamic Cooperative Verification - (Competition Contribution).

Marek Chalupa, Cedric Richter

Browse the full TACAS paper archive.