Olli Saarikivi, Margus Veanes. Translating C# to Branching Symbolic Transducers. In Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, editors, IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Volume 1 of Kalpa Publications in Computing, pages 86-99, EasyChair, 2017. [doi]
@inproceedings{SaarikiviV17,
title = {Translating C# to Branching Symbolic Transducers},
author = {Olli Saarikivi and Margus Veanes},
year = {2017},
url = {http://www.easychair.org/publications/paper/342984},
researchr = {https://researchr.org/publication/SaarikiviV17},
cites = {0},
citedby = {0},
pages = {86-99},
booktitle = {IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
volume = {1},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}