An SMT-LIB Format for Sequences and Regular Expressions

Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 1 Jan 2012

Cite this

Bjørner, N., Ganesh, V., Michel, R., & Veanes, M. (2012). An SMT-LIB Format for Sequences and Regular Expressions.