Title
|
|
|
|
Formalising behaviour preserving program transformations
| |
Author
|
|
|
|
| |
Language
|
|
|
|
English
| |
Source (book)
|
|
|
|
Proceedings ICGT2002: First International Conference on Graph Transformation / Corradini, Andrea [edit.]
| |
Publication
|
|
|
|
Berlin
:
Springer
,
2002
| |
Volume/pages
|
|
|
|
p. 286-301
| |
ISI
|
|
|
|
000187254500022
| |
|