Items where authors include "Dodds, Michael"

Article

Plump, Detlef orcid.org/0000-0002-1148-822X and Dodds, Michael orcid.org/0000-0002-4439-0130 (2009) From Hyperedge Replacement to Separation Logic and Back. Electronic Communications of the EASST. ISSN 1863-2122