Institutions for Behavioural Dynamic Logic with Binders.

Rolf Hennicker, Alexandre Madeira

Browse the full ICTAC paper archive.