Suche

Veröffentlichungen


2014

2013

2012

2011

2010

  • Algebraic Separation Logic
    H.-H. Dang, P. Höfner, B. Möller
    Technical Report, Institute of Computer Science, University of Augsburg, July 2010
    2010-06

2009