Results
| Title: | ArgoSMTExpression: an SMT-LIB 2.0 compliant expression library | Authors: | Banković, Milan   |
Issue Date: | 2012 | Publication: | Workshop Pragmatics of SAT 2012 - | Publisher: | FBK-Irst, Trento, Italy, Italija | Type: | Conference Paper | Collation: | str. 1-6 | URI: | https://enauka.gov.rs/handle/123456789/331833 | URL: | http://www.satcompetition.org/PoS12/pos12articles.zip | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.