Using Graph Transformation Systems to Specify and
Verify Data Abstractions
L. Baresi, C. Ghezzi, A. Mocci, and M. Monga. Proceedings of the Seventh International Workshop on
Graph Transformation and Visual Modeling Techniques
(GT-VMT 2008), volume X of Electronic Communications of the EASST, page 277--290. EASST, European Association of Software Science and
Technology, (March 2008)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 monga08:gtvmt
%A Baresi, Luciano
%A Ghezzi, Carlo
%A Mocci, Andrea
%A Monga, Mattia
%B Proceedings of the Seventh International Workshop on
Graph Transformation and Visual Modeling Techniques
(GT-VMT 2008)
%D 2008
%E Ermel, Claudia
%E Heckel, Reiko
%E de Lara, Juan
%I European Association of Software Science and
Technology
%K graph_grammars myown sw_eng sw_specification
%P 277--290
%T Using Graph Transformation Systems to Specify and
Verify Data Abstractions
%U http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/155/155
%V X
@inproceedings{monga08:gtvmt,
added-at = {2013-12-28T09:56:39.000+0100},
author = {Baresi, Luciano and Ghezzi, Carlo and Mocci, Andrea and Monga, Mattia},
biburl = {https://www.bibsonomy.org/bibtex/2d6020d1a948eea1c736060e3147e37e3/mmonga},
booktitle = {Proceedings of the Seventh International Workshop on
Graph Transformation and Visual Modeling Techniques
{(GT-VMT 2008)}},
editor = {Ermel, Claudia and Heckel, Reiko and de Lara, Juan},
handle = {http://hdl.handle.net/2434/55382},
interhash = {fe4d8f39e2c3426281355575cf9101c9},
intrahash = {d6020d1a948eea1c736060e3147e37e3},
issn = {1863-2122},
keywords = {graph_grammars myown sw_eng sw_specification},
language = {english},
location = {Budapest, Hungary},
month = mar,
organization = {EASST},
pages = {277--290},
publisher = {European Association of Software Science and
Technology},
series = {Electronic Communications of the EASST},
timestamp = {2013-12-28T09:56:39.000+0100},
title = {Using Graph Transformation Systems to Specify and
Verify Data Abstractions},
url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/155/155},
volume = {X},
year = 2008
}