Abstract Object Creation in Dynamic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe. Abstract Object Creation in Dynamic Logic. In Ana Cavalcanti, Dennis Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Volume 5850 of Lecture Notes in Computer Science, pages 612-627, Springer, 2009. [doi]

This author has not been identified. Look up 'Wolfgang Ahrendt' in GoogleThis author has not been identified. It may be one of the following persons:

Frank S. de Boer

Look up 'Frank S. de Boer' in GoogleThis author has not been identified. Look up 'Immo Grabe' in Google

runs on WebDSL