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 | |
| State | Published - 1 Jan 2010 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 7279144