Introducing complexity to formal testing

  1. Rodríguez, I.
  2. Rosa-Velardo, F.
  3. Rubio, F.
Revista:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216

Año de publicación: 2020

Volumen: 111

Tipo: Artículo

DOI: 10.1016/J.JLAMP.2019.100502 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible