Endre Fülöp et al. Symbolic Execution with Finite State Automata. (2019) Megjelent: 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings pp. 116-120, 30932379
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30932379]
  1. * Fülöp Endre et al. A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution. (2020) OPEN COMPUTER SCIENCE 2299-1093 11 1 107-115
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[31787944] [Admin láttamozott]
    Függő, Idéző: 31787944, Kapcsolat: 29746259
2022-01-18 06:01