Idézéskapcsolat

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

Közlemény:

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

Idéző közlemény:

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