| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2012 |
An SMT-LIB Format for Sequences and Regular Expressions
Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes
Research output: Contribution to conference › Paper
Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes
Research output: Contribution to conference › Paper
| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2012 |