Algebraische Kalküle für Separationslogik https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/algebraische-kalkule-fur-separationslogik/
None
Bernhard Möller Beteiligte WissenschaftlerInnen der Universität Augsburg: Han-Hing Dang