IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "A Generic Dynamic Logic with Applications to Interaction-based Systems"

by Rolf Hennicker

Thu, 16 January 2020 at 02:00 pm in Massa Marittima, Italy

Joint work with: Martin Wirsing