Synthesizing Same-Language Summaries for Symbolic Execution

Gábor, Horváth [Horváth, Gábor (Informatika), szerző] PhD Informatika Doktori Iskola (ELTE / IK); Norbert, Pataki [Pataki, Norbert (Informatika), szerző] ELTE 3in Kutatócsoport, Martonvásár (ELTE / IK)

Angol nyelvű Absztrakt / Kivonat (Egyéb konferenciaközlemény) Tudományos
Megjelent: Zoltán Horváth. Collection of Abstracts: 13th Joint Conference on Mathematics and Informatics. (2020) pp. 78-79
    Azonosítók
    • MTMT: 31622847
    Idézett közlemények (1)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2022-05-24 10:10