Endre Fülöp et al. Symbolic Execution with Finite State Automata. (2019) In: 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings pp. 116-120, 30932379
Conference paper (Chapter in Book) | Scientific[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
    Article (Journal Article) | Scientific[31787944] [Admin approved]
    Függő, Idéző: 31787944, Kapcsolat: 29746259
2022-05-26 10:44