Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Wies, Thomas Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A., & Wies, T. (2005). Boolean Heaps. In Static analysis: 12th International Symposium, SAS 2005 (pp. 268-283). Berlin, Germany: Springer.