FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
The articles of this volume will not be indexed individually.
scientific article; zbMATH DE number 477970