Normal view MARC view

Glässer, Uwe. editor. (Personal Name)

Preferred form: Glässer, Uwe. editor.

Machine generated authority record.

Work cat.: (OSt): Abstract State Machines, Alloy, B and Z