| Original language | English |
|---|---|
| Pages | 67-87 |
| Number of pages | 21 |
| Publication status | Published - Apr 2004 |
| Event | Integrated Formal Methods - Duration: 1 Apr 2004 → … |
Conference
| Conference | Integrated Formal Methods |
|---|---|
| Abbreviated title | IFM- '04 |
| Period | 1/04/04 → … |