Normal view
MARC view
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira(Personal Name)
Machine generated authority record
Work cat.: (OSt)1641791: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, Formal Methods – The Next 30 Years