| Original language | English |
|---|---|
| Publication date | 1990 |
| Publication status | Published - 1990 |
| Event | The ASCIS Open Workshop on Verification and Specification - Duration: 1 Jan 1990 → … |
Conference
| Conference | The ASCIS Open Workshop on Verification and Specification |
|---|---|
| Period | 01/01/1990 → … |