Formale Programmentwicklung mit dynamischer Logik | lit.salon