Program Verification using Constraint Handling Rules and Array Constraint Generalizations

Conference Paper

Publication Date:

2014

abstract:

Iris type:

04.01 Contributo in Atti di convegno

Keywords:

Program verification

List of contributors:

Authors of the University:

DE ANGELIS EMANUELE

PROIETTI MAURIZIO

Handle:

Published in:

Series