Observation Equivalence as a Testing Equivalence

Bibliografiske detaljer
Hovedforfatter: Abramsky, S
Format: Conference item
Udgivet: 1987