Dipartimento di Ingegneria e Scienze Università degli Studi dell’Aquila dell’Informazione e Matematica Non-determinism and bidirectional model transformations.
Non-determinism and bidirectional model transformations