DOI,IST REx ID,Research Group,Title of publication
10.1145/1926385.1926454,3325,ToHe,Streaming transducers for algorithmic verification of single pass list processing programs