VDM '91. Formal software development methods. Vol. 2: Tutorials. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings
The articles of this volume will not be indexed individually.
scientific article; zbMATH DE number 108201