Helmut A. Partsch

Specification and Transformation of Programs: A Formal Approach to Software Development

1990 · ENGLISH · DJVU

View details →

Specification and Transformation of Programs: A Formal Approach to Software Development

1990 · ENGLISH · PDF

View details →

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

1993 · ENGLISH · DJVU

View details →