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