Proceedings - Software Engineering and Formal Methods, SEFM 2010. / Schettini, A.M.; Fiadeiro, J.L.; Gnesi, S.
2010.Research output: Other contribution
Published
| Original language | English |
|---|---|
| DOIs | |
| Publication status | Published - 1 Jan 2010 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 7279144