Observation Equivalence as a Testing Equivalence

Bibliografische gegevens
Hoofdauteur: Abramsky, S
Formaat: Conference item
Gepubliceerd in: 1987