Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation

Articolo
Data di Pubblicazione:
2011
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Autori di Ateneo:
FIORAVANTI Fabio
Link alla scheda completa:
https://ricerca.unich.it/handle/11564/205326
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series