A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution

Fülöp, Endre [Fülöp, Endre (Informatika), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK); PhD Informatika Doktori Iskola (ELTE / IK); Pataki, Norbert [Pataki, Norbert (Informatika), szerző] ELTE 3in Kutatócsoport, Martonvásár (ELTE / IK)

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
Megjelent: OPEN COMPUTER SCIENCE 2299-1093 11 (1) pp. 107-115 2020
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-10-16 08:29