Document
Generically Dependent Continuant
Article
Integrating topological proofs with model checking to instrument iterative design
Information Content Entity
RDF description of Integrating topological proofs with model checking to instrument iterative design - http://irises.unibg.it/resource/item/265397
Conference Paper