Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
6 Here is difference between single metavariables and arrays. One metavariable for And the pointers problem.
Sergey Vartanov, 2007–2020
6 Here is difference between single metavariables and arrays. One metavariable for And the pointers problem.
Sergey Vartanov, 2007–2020