Central Library

Normal view MARC view

Katoen, Joost-Pieter. editor. (Personal Name)

Number of records used in: 1
Preferred form: Katoen, Joost-Pieter. editor.

Machine generated authority record.

Work cat.: (OSt): Formal Methods