Petr Janku -

Not registered as user yet

Name: Petr Janku

Affiliation: Brno University of Technology

Contributions

POPL 2018	Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Research Papers-track Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Artifact Evaluation-track