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

Any de publicació: 2020

Volum: 111

Tipus: Article

DOI: 10.1016/J.JLAMP.2019.100502 GOOGLE SCHOLAR

Objectius de Desenvolupament Sostenible

Font de les dades: Scopus