Paper Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions accepted for presentation at DaLi 2019.

Matthias Dangl

Picture of Matthias Dangl

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

E-Mail (Teaching, LMU)
firstname.lastname@lmu.de
E-Mail (Research, Other)
(first letter of first name)(last name)001@gmail.com

GPG-Key

Please send me encrypted mails!
My GPG key: 0xD8BF1A0B19A1702D
Fingerprint: 36E9 C2E7 CF98 ACF5 BE5C 6EC2 D8BF 1A0B 19A1 702D

Teaching

LMU Munich:

University of Passau:

Projects

Publications