Applications of MDE to Formal Methods

Marc PANTEL