Reversible structured program theorem
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
Original language | English |
---|---|
Title of host publication | Nordic Workshop on Programming Theory |
Number of pages | 3 |
Place of Publication | Reykjavik University, Iceland |
Publication date | 2006 |
Publication status | Published - 2006 |
Event | 18th Nordic Workshop on Programming Theory - Reykjavik, Iceland Duration: 18 Oct 2006 → 20 Oct 2006 |
Workshop
Workshop | 18th Nordic Workshop on Programming Theory |
---|---|
Land | Iceland |
By | Reykjavik |
Periode | 18/10/2006 → 20/10/2006 |
ID: 1105454