Document
type: Class

373142129
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: RIVERtools: An IDE for RuntIme VERification of MASs, and beyond

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

Article
type: Class

Information Content Entity
type: Class

RIVERtools: An IDE for RuntIme VERification of MASs, and beyond
related by: 373142129
language: Inglese
type: Continuant
type: Entity
most specific type: Conference Paper
type: Generically Dependent Continuant
type: Document
type: Article
type: Thing
type: Information Content Entity
type: Conference Paper

Inglese
type: Language

Conference Paper
type: Class

RDF description of RIVERtools: An IDE for RuntIme VERification of MASs, and beyond - http://irises.unimore.it/resource/item/424444
rights: termsOfUse
date: 2026-08-24T10:32:28
publisher: RIVERtools: An IDE for RuntIme VERification of MASs, and beyond
type: Document