Ihlemann, Carsten Automation of Logic, MPI for Informatics, Max Planck Society;
Jacobs, Swen Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Ihlemann, C., Jacobs, S., & Sofronie-Stokkermans, V. (2008). On local reasoning in verification. In C. R. Ramakrishnan, & J. Rehof (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 (pp. 265-281). New York: Springer.