Observation Equivalence as a Testing Equivalence

Opis bibliograficzny
1. autor: Abramsky, S
Format: Conference item
Wydane: 1987