A Hoare Calculus for Graph Programs

Thumbnail
Metadata only
Author
Poskitt, Christopher M.
Plump, Detlef
Date
2010
Type
  • Other Conference Item
Publication status
published
External links
Search via SFX
Editor
Ehrig, Hartmut
Rensink, Arend
Rozenberg, Grzegorz
Schürr, Andy
Book title
Graph transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010. Proceedings
Journal / series
Lecture Notes in Computer Science
Volume
6372
Pages / Article No.
139 - 154
Publisher
Springer
Event
5th International Conference on Graph Transformation (ICGT 2010), Enschede, NL, September 27 - October 2, 2010
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
Notes
.
More
Show all metadata
ETH Bibliography
no
Altmetrics