Formal Foundations for Software Engineeing Methods

Heinrich Hußmann. Formal Foundations for Software Engineeing Methods. Volume 1322 of Lecture Notes in Computer Science, Springer, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: