Sciweavers

Share
GG
2010
Springer

A Hoare Calculus for Graph Programs

11 years 10 months ago
A Hoare Calculus for Graph Programs
el of abstraction). Refereed Conference and Workshop Papers
Christopher M. Poskitt, Detlef Plump
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2010
Where GG
Authors Christopher M. Poskitt, Detlef Plump
Comments (0)
books