Symbolic Execution with Finite State Automata

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

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: William Steingartner. 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings. (2019) ISBN:9781728131788 pp. 116-120
    Azonosítók
    Támogatások:
    • 3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP
    Idézők (1)
    Idézett közlemények (3)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2023-03-24 00:09