Graph Programs: Semantics, Verification and Implementation

Activity: Talk or presentation › Invited talk

Period7 Jul 2011
Held atThe University of Leeds, United Kingdom