INT 2002. Integration of Specification Techniques with Applications in Engineering

Ehrig, H.Große-Rhode, M.Orejas, F.2022-03-022022-03-022002https://publica.fraunhofer.de/handle/publica/138932INT 2002. Integration of Specification Techniques with Applications in Engineering