SEFM 2010 - Poster and Tool Demo Session Proceedings

Edited Book
Publication Date:
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
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
SOFTWARE ENGINEERING; Formal methods; Automated tools
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/131957
Full Text: