Tool Integration beyond Wasserman.

Fredrik Asplund, Matthias Biehl, Jad El-khoury, Martin Trngren

Browse the full CaiSE paper archive.