Proceedings - Software Engineering and Formal Methods, SEFM 2010

A.M. Schettini, J.L. Fiadeiro, S. Gnesi

Research output: Other contribution

Original languageEnglish
DOIs
Publication statusPublished - 1 Jan 2010

Cite this