Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
| Original language | English |
|---|
| Publisher | Department of Computer Science, University of Copenhagen |
|---|---|
| Number of pages | 172 |
| Publication status | Published - 2007 |
| Event | 3rd DIKU-IST Joint Workshop on the Foundations of Software - Roskilde, Denmark Duration: 5 Oct 2007 → 6 Oct 2007 |
| Series | Department of Computer Science. University of Copenhagen. Technical Report |
|---|---|
| Number | 2007/07 |
| ISSN | 0107-8283 |
Conference
| Conference | 3rd DIKU-IST Joint Workshop on the Foundations of Software |
|---|---|
| Country/Territory | Denmark |
| City | Roskilde |
| Period | 05/10/2007 → 06/10/2007 |
Links
- https://www.diku.dk/forskning/Publikationer/tekniske_rapporter/2007/07-07.pdf
Final published version
ID: 9151220