Observation Equivalence as a Testing Equivalence

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