Generalization Strategies for the Verification of Infinite State Systems
Contributo in Atti di convegno
Data di Pubblicazione:
2010
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Elenco autori:
Pettorossi, Alberto; Senni, Valerio; Fioravanti, Fabio; Proietti, Maurizio
Link alla scheda completa: