Observation Equivalence as a Testing Equivalence

Dettagli Bibliografici
Autore principale: Abramsky, S
Natura: Conference item
Pubblicazione: 1987