Observation Equivalence as a Testing Equivalence

Dades bibliogràfiques
Autor principal: Abramsky, S
Format: Conference item
Publicat: 1987