| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346. |
| State | Published - 2004 |
| Externally published | Yes |
ID: 4428459