Abstract Object Creation in Dynamic Logic.

Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe

Browse the full FM paper archive.