Introducing complexity to formal testing
Revue:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Année de publication: 2020
Volumen: 111
Type: Article