Andreas Wilm

• Aussagenlogische Dynamische Logik als Programmlogik