Project Description

Graph transformation, model transformation, object-oriented verification, behavioural semantics

(This Description is auto-translated) Try to translate to Japanese Show Original Description

Download

Resenha
Your rating
Review this project