Showing 1 - 1 results of 1 for search 'Fülöp Endre', query time: 0.02s Refine Results
  1. 1
    A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
    by Fülöp Endre, Pataki Norbert
    Published 2020-12-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search