| Original language | English |
|---|---|
| Number of pages | 25 |
| Publication status | Published - 3 Oct 1990 |
| Event | 2nd Nordic Workshop on Program Correctness - Aalborg, Denmark Duration: 5 Oct 1990 → … |
Conference
| Conference | 2nd Nordic Workshop on Program Correctness |
|---|---|
| City | Aalborg, Denmark |
| Period | 5/10/90 → … |