A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution

Fülöp, Endre [Fülöp, Endre (Informatika), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS); ELTE IK PhD Informatika Doktori Iskola (ELTE / ELU FoI); Pataki, Norbert [Pataki, Norbert (Informatika), author] ELTE 3in Research Group, Martonvásár (ELTE / ELU FoI)

English Scientific Article (Journal Article)
Published: OPEN COMPUTER SCIENCE 2299-1093 11 (1) pp. 107-115 2020
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2021-12-09 08:50