%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 }