Introducing complexity to formal testing

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

ISSN: 2352-2216

Year of publication: 2020

Volume: 111

Type: Article

DOI: 10.1016/J.JLAMP.2019.100502 GOOGLE SCHOLAR

Sustainable development goals

Data source: Scopus