Priority Program SoftSpez and the International INT Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen")

Abstract

Sorry, we couldn't extract an abstract for this paper.
DOI: 10.1524/itit.47.1.45.58262

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.