Process
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
Project
Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli