Skip to content

Translating C# to Branching Symbolic Transducers.

Olli Saarikivi, Margus Veanes

VenueBLPAR
Year2017
ProceedingsLPAR (Short Presentations)

Browse the full LPAR paper archive.