Formally transforming user-model testing problems into implementer-model testing problems and viceversa

  1. Andrés, C.
  2. Llana, L.
  3. Rodríguez, I.
Aldizkaria:
Journal of Logic and Algebraic Programming

ISSN: 1567-8326

Argitalpen urtea: 2009

Alea: 78

Zenbakia: 6

Orrialdeak: 425-453

Mota: Artikulua

DOI: 10.1016/J.JLAP.2009.01.003 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus