| langue originale | Anglais |
|---|---|
| Etat de la publication | Publié - 1 janv. 2012 |
An SMT-LIB Format for Sequences and Regular Expressions
Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes
Résultats de recherche: Contribution à un événement scientifique (non publié) › Article