A Hoare Calculus for Graph Programs

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_10 ◽

2010 ◽

pp. 139-154 ◽

Cited By ~ 7

Author(s):

Christopher M. Poskitt ◽

Detlef Plump

Download Full-text