Observation Equivalence as a Testing Equivalence

Detalles Bibliográficos
Autor principal: Abramsky, S
Formato: Conference item
Publicado: 1987