Proceedings of the 2nd 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 | 174 |
| Publication status | Published - 2006 |
| Event | 2nd DIKU-IST Joint Workshop on the Foundations of Software - Shonan Village Center, Hayama, Japan Duration: 21 Apr 2006 → 22 Apr 2006 |
| Series | Department of Computer Science. University of Copenhagen. Technical Report |
|---|---|
| Number | 2006/07 |
| ISSN | 0107-8283 |
Workshop
| Workshop | 2nd DIKU-IST Joint Workshop on the Foundations of Software |
|---|---|
| Location | Shonan Village Center |
| Country/Territory | Japan |
| City | Hayama |
| Period | 21/04/2006 → 22/04/2006 |
Links
- https://www.diku.dk/forskning/Publikationer/tekniske_rapporter/2006/
Final published version
ID: 9151361