Max Emanuel Kramer

• Specification Languages for Preserving Consistency Between Models of Different Languages