Normal view
MARC view
Verificació del programari (Topical Term)
Machine generated authority record
Work cat.: (AT-ISTA): VSTTE (Conference) (13th : 2021 : Online) 969093, Software verification :, 2022.