Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen

Hartmut Ehrig, Martin Große-Rhode. Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Inform., Forsch. Entwickl., 16(2):110-117, 2001. [doi]

Abstract

Abstract is missing.