Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2781| Title: | ArgoSMTExpression: an SMT-LIB 2.0 compliant expression library | Authors: | Banković, Milan | Affiliations: | Informatics and Computer Science | Issue Date: | 2012 | Rank: | M34 | Related Publication(s): | Workshop Pragmatics of SAT 2012 | Conference: | Pragmatics of SAT (2012 ; Trento) | URI: | https://research.matf.bg.ac.rs/handle/123456789/2781 |
| Appears in Collections: | Research outputs |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.