Proceedings - Software Engineering and Formal Methods, SEFM 2010. / Schettini, A.M.; Fiadeiro, J.L.; Gnesi, S.

2010, .

Research output: Other contribution

Published
Original languageEnglish
DOIs
StatePublished - 1 Jan 2010
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7279144