Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation Final Report
Edición de la obra Integration of Software Specification Techniques for Applications in Engineering