Relational verification through horn clause transformation

Contributo in Atti di convegno
Data di Pubblicazione:
2016
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Keywords:
Theoretical Computer Science; Computer Science (all)
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://ricerca.unich.it/handle/11564/663017
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series