INT 2000. Integration of Specification Techniques with Applications in Engineering. Extended abstracts

Ehrig, H.Große-Rhode, M.Orejas, F.2022-03-022022-03-022000https://publica.fraunhofer.de/handle/publica/136201INT 2000. Integration of Specification Techniques with Applications in Engineering. Extended abstracts