DMCA

Symbolic Finite State Transducers: Algorithms and Applications (2012)

by Margus Veanes , Pieter Hooimeijer , Benjamin Livshits , David Molnar , Nikolaj Bjørner
Venue:POPL'12
Citations:28 - 12 self