Dynamic Logic with Binders and Its Application to the Development of Reactive Systems.

Alexandre Madeira, Lus Soares Barbosa, Rolf Hennicker, Manuel A. Martins

Browse the full ICTAC paper archive.