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.
Bjørner, Nikolaj ; Ganesh, Vijay ; Michel, Raphaël ; Veanes, Margus. / An SMT-LIB Format for Sequences and Regular Expressions.
@conference{fca5f74c0265470d8f3f4f399b4df9de,
title = "An SMT-LIB Format for Sequences and Regular Expressions",
author = "Nikolaj Bj{\o}rner and Vijay Ganesh and Rapha{\"e}l Michel and Margus Veanes",
year = "2012",
month = "1",
day = "1",
language = "English",

}

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

An SMT-LIB Format for Sequences and Regular Expressions. / Bjørner, Nikolaj; Ganesh, Vijay; Michel, Raphaël; Veanes, Margus.

2012.

Research output: Contribution to conferencePaper

TY - CONF

T1 - An SMT-LIB Format for Sequences and Regular Expressions

AU - Bjørner, Nikolaj

AU - Ganesh, Vijay

AU - Michel, Raphaël

AU - Veanes, Margus

PY - 2012/1/1

Y1 - 2012/1/1

M3 - Paper

ER -