Formally transforming user-model testing problems into implementer-model testing problems and viceversa
- Andrés, C.
- Llana, L.
- Rodríguez, I.
ISSN: 1567-8326
Année de publication: 2009
Volumen: 78
Número: 6
Pages: 425-453
Type: Article
ISSN: 1567-8326
Année de publication: 2009
Volumen: 78
Número: 6
Pages: 425-453
Type: Article