Piskac, Ruzica Group R. Piskac, Max Planck Institute for Software Systems, Max Planck Society;
Piskac, R., Wies, T., & Zufferey, D. (2013). Automating Separation Logic Using SMT. In N. Sharygina, & H. Veith (Eds.), Computer Aided Verification (pp. 773-789). Berlin: Springer. doi:10.1007/978-3-642-39799-8_54.