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
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
    Szakcikk (Folyóiratcikk) | Tudományos[31787944] [Admin láttamozott]
    Függő, Idéző: 31787944, Kapcsolat: 29746259
2022-07-01 21:50