1 paper
Henrich Lauko, Petr Ročkai, Jiří Barnat
Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic…