Normal view
MARC view
Maurice H. ter Beek, Rosemary Monahan (Personal Name)
Machine generated authority record
Work cat.: (OSt)1663916: Maurice H. ter Beek, Rosemary Monahan, Integrated Formal Methods