Document
RDF description of SMT-Based Consistency Checking of Configuration-Based Components Specifications - http://irises.uniss.it/resource/item/153382
Academic Article
Generically Dependent Continuant
Article
Information Content Entity
SMT-Based Consistency Checking of Configuration-Based Components Specifications