When COSTA Met KeY: Verified Cost Bounds
- Albert, E.
- Genaim, S.
- Merayo, A.
- Román-Díez, G.
ISSN: 1611-3349, 0302-9743
Argitalpen urtea: 2022
Alea: 13360 LNCS
Orrialdeak: 19-37
Mota: Liburuko kapitulua
ISSN: 1611-3349, 0302-9743
Argitalpen urtea: 2022
Alea: 13360 LNCS
Orrialdeak: 19-37
Mota: Liburuko kapitulua