White-Box Path Generation in Recursive Programs
ISSN: 1611-3349, 0302-9743
ISBN: 9783030577605
Argitalpen urtea: 2020
Alea: 12222 LNCS
Orrialdeak: 121-135
Mota: Biltzar ekarpena
ISSN: 1611-3349, 0302-9743
ISBN: 9783030577605
Argitalpen urtea: 2020
Alea: 12222 LNCS
Orrialdeak: 121-135
Mota: Biltzar ekarpena