DMCA

Symbolic Finite State Transducers: Algorithms and Applications

by Margus Veanes , Pieter Hooimeijer , Benjamin Livshits , David Molnar , Nikolaj Bjørner
Citations:24 - 9 self