| Original language | English |
|---|
| Publication status | Published - 1997 |
|---|---|
| Event | Proceedings of the 1st Irish Workshop on Formal Methods - Dublin Duration: 1 Jan 1997 → … |
Conference
| Conference | Proceedings of the 1st Irish Workshop on Formal Methods |
|---|---|
| City | Dublin |
| Period | 01/01/1997 → … |