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