सामान्य देखें
मार्क देखें
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