Article
type: Class

Document
type: Class

RDF description of Abstraction and Idealization in the Formal Verification of Software Systems - http://irises.uniss.it/resource/item/50403
rights: termsOfUse
date: 2026-08-25T16:37:43
publisher: Abstraction and Idealization in the Formal Verification of Software Systems
type: Document

Academic Article
type: Class

Information Content Entity
type: Class

Abstraction and Idealization in the Formal Verification of Software Systems
most specific type: Academic Article
type: Document
language: Inglese
type: Continuant
type: Information Content Entity
type: Academic Article
type: Thing
type: Article
type: Generically Dependent Continuant
type: Entity

Continuant
type: Class

Entity
type: Class

Inglese
type: Language

Generically Dependent Continuant
type: Class