Data di Pubblicazione:
2010
Abstract:
Proceedings of the Poster and Tool Demo Session during the 8th IEEE International Conference on Software and Formal Methods (SEFM 2010) - CNR, Pisa, Italy 13-18 September 2010
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
SOFTWARE ENGINEERING; Formal methods; Automated tools
Elenco autori:
Trentanni, Gianluca; Mazzanti, Franco
Link alla scheda completa: