Article
Document
RDF description of Abstraction and Idealization in the Formal Verification of Software Systems - http://irises.uniss.it/resource/item/50403
Academic Article
Information Content Entity
Abstraction and Idealization in the Formal Verification of Software Systems
Generically Dependent Continuant