Proceedings - Software Engineering and Formal Methods, SEFM 2010

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

Department of Computer Science

Research output: Other contribution

Original language	English
DOIs	https://doi.org/10.1109/SEFM.2010.5
Publication status	Published - 1 Jan 2010

Access to Document

10.1109/SEFM.2010.5

Other files and links

Link to publication in Scopus

Cite this