Observation Equivalence as a Testing Equivalence

Detalhes bibliográficos
Autor principal: Abramsky, S
Formato: Conference item
Publicado em: 1987