Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins. Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. In Augusto Sampaio, Farn Wang, editors, Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Volume 9965 of Lecture Notes in Computer Science, pages 422-440, 2016. [doi]
Abstract is missing.