Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
Using Graph Transformation Systems to Specify and Verify Data Abstractions
GT-VMT, 2008.
@article{GT-VMT-2008-BaresiGMM,
author = "Luciano Baresi and Carlo Ghezzi and Andrea Mocci and Mattia Monga",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/155",
journal = "{Electronic Communications of the EASST}",
title = "{Using Graph Transformation Systems to Specify and Verify Data Abstractions}",
volume = 10,
year = 2008,
}