| Original language | English |
|---|---|
| Journal | Lecture Notes in Computer Science |
| Volume | 6447 LNCS |
| State | Published - 2010 |
| Event | 12th International Conference on Formal Engineering Methods, ICFEM 2010 - Shanghai, China Duration: 17 Nov 2010 → 19 Nov 2010 |
| Original language | English |
|---|---|
| Journal | Lecture Notes in Computer Science |
| Volume | 6447 LNCS |
| State | Published - 2010 |
| Event | 12th International Conference on Formal Engineering Methods, ICFEM 2010 - Shanghai, China Duration: 17 Nov 2010 → 19 Nov 2010 |