SMACK: Decoupling Source Language Details from Verifier Implementations. - Rakamaric, Zvonimir; Emmi, Michael (2014)