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

Ano de publicación: 2020

Volume: 111

Tipo: Artigo

DOI: 10.1016/J.JLAMP.2019.100502 GOOGLE SCHOLAR
Fonte de datos: Scopus