Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research
| Original language | Undefined |
|---|---|
| Title of host publication | ISoLA 2008, Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Greece) |
| Publisher | Springer Nature |
| Pages | 478-489 |
| State | Published - 2008 |
ID: 4428406