Synthesizing intensional behavior models by graph transformation.

Carlo Ghezzi, Andrea Mocci, Mattia Monga

Browse the full ICSE paper archive.