Using Graph Transformation Systems to Specify and Verify Data Abstractions

fy and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci and Mattia Monga 14 pages Guest Editors: Claudia Ermel, Reiko Heckel, Juan de Lara Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122 

• Type: Journal
• Year: 2008
• Where: ECEASST
• Authors: Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
• Keywords: Abstractions Luciano Baresi, ECEASST 2008, Lara Managing Editors, Monga 14 Pages