EasyChair Smart SlideUser guide
Author: Maurizio Proietti

This page shows all presentations of this author published in EasyChair Smart Slide.

Verifying Catamorphism-Based Contracts Using Constrained Horn Clauses

Verifying Catamorphism-Based Contracts Using Constrained Horn Clauses

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti

Solving Horn Clauses on Inductive Data Types Without Induction

Solving Horn Clauses on Inductive Data Types Without Induction

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair