Software Model Checking by Program Specialization

Conference Paper

Publication Date:

2012

Iris type:

4.1 Contributo in Atti di convegno

List of contributors:

DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio

Authors of the University:

FIORAVANTI Fabio

Handle:

https://ricerca.unich.it/handle/11564/367514

Published in:

CEUR WORKSHOP PROCEEDINGS

Journal

CEUR WORKSHOP PROCEEDINGS

Series