Normal view
MARC view
Wolz, Dietmar. (Personal Name)
Machine generated authority record.
Work cat.: (OSt): Classen, Ingo. 3348, Algebraic specification techniques and tools for software development, [2019], c1993.