Introducing complexity to formal testing

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

ISSN: 2352-2216

Datum der Publikation: 2020

Ausgabe: 111

Art: Artikel

DOI: 10.1016/J.JLAMP.2019.100502 GOOGLE SCHOLAR

Ziele für nachhaltige Entwicklung

Datenquelle: Scopus