Entity
type: Class

Process
type: Class

RDF description of Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli - http://irises.unimi.it/resource/project/AL%5FRIC17AMOMI%5F01
rights: termsOfUse
date: 2026-08-03T00:56:40
publisher: Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli
type: Document

Project
type: Class

Occurrent
type: Class

Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli
type: Entity
identifier: AL_RIC17AMOMI_01
type: Project
most specific type: Project
type: Process
type: Thing
type: Occurrent
ARG_2000028: AL RIC17AMOMI 01