Second International Workshop on Integration of Software Specification Techniques for Applications in Engineering (INT 2002). Proceedings

Ehrig, H.Große-Rhode, M.2022-03-092022-03-092002https://publica.fraunhofer.de/handle/publica/340236en004Second International Workshop on Integration of Software Specification Techniques for Applications in Engineering (INT 2002). Proceedingsconference proceeding