Endre Fülöp and Norbert Pataki

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

De Gruyter | 2020