Proceedings - Software Engineering and Formal Methods, SEFM 2010. / Schettini, A.M.; Fiadeiro, J.L.; Gnesi, S.
Research output: Other contribution
ID: 7279144
Search for researchers:
Search for research: