👤 Lars Wortel

Side Effects in Steering Fragments. Defining Side Effects using Dynamic Logic and Short-Circuit Logic. Lars Wortel