Login / Signup

Using Graph Transformation Systems to Specify and Verify Data Abstractions.

Luciano BaresiCarlo GhezziAndrea MocciMattia Monga
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2008)
Keyphrases