Introducing complexity to formal testing
Zeitschrift:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Datum der Publikation: 2020
Ausgabe: 111
Art: Artikel