I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Locality-based Abstractions


Javier Esparza, Pierre Ganty, and Stefan Schwoon. Locality-based abstractions. In Proceedings of SAS 2005, volume 3672 of Lecture Notes in Computer Science, pages 118–134, 2005.

Suggested BibTeX entry:

    author = {Javier Esparza and Pierre Ganty and Stefan Schwoon},
    booktitle = {Proceedings of SAS 2005},
    pages = {118--134},
    series = {Lecture Notes in Computer Science},
    title = {Locality-based Abstractions},
    volume = {3672},
    year = {2005}

PDF (256 kB)