Formal executable semantics for conformance (0)

by M Egea, V Rusu
Venue:in the MDE framework. Innovations in Systems and Software Engineering