SMACK: Decoupling Source Language Details from Verifier Implementations.

Zvonimir Rakamaric, Michael Emmi

Browse the full CAV paper archive.