Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

Research output: Book/ReportAnthologyResearch

Standard

Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software. / Glück, Robert (Editor); Henglein, Fritz (Editor); Hu, Zhenjiang (Editor); Takeichi, Masato (Editor).

Department of Computer Science, University of Copenhagen, 2011. 280 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2011/01).

Research output: Book/ReportAnthologyResearch

Harvard

Glück, R, Henglein, F, Hu, Z & Takeichi, M (eds) 2011, Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software. Department of Computer Science. University of Copenhagen. Technical Report, no. 2011/01, Department of Computer Science, University of Copenhagen.

APA

Glück, R., Henglein, F., Hu, Z., & Takeichi, M. (Eds.) (2011). Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software. Department of Computer Science, University of Copenhagen. Department of Computer Science. University of Copenhagen. Technical Report No. 2011/01

Vancouver

Glück R, (ed.), Henglein F, (ed.), Hu Z, (ed.), Takeichi M, (ed.). Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software. Department of Computer Science, University of Copenhagen, 2011. 280 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2011/01).

Author

Glück, Robert (Editor) ; Henglein, Fritz (Editor) ; Hu, Zhenjiang (Editor) ; Takeichi, Masato (Editor). / Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software. Department of Computer Science, University of Copenhagen, 2011. 280 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2011/01).

Bibtex

@book{a523ed98e51a4996a76b5ac6122d6bea,
title = "Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software",
editor = "Robert Gl{\"u}ck and Fritz Henglein and Zhenjiang Hu and Masato Takeichi",
year = "2011",
language = "English",
series = "Department of Computer Science. University of Copenhagen. Technical Report",
number = "2011/01",
publisher = "Department of Computer Science, University of Copenhagen",
note = "4th DIKU-IST Joint Workshop on Foundations of Software ; Conference date: 10-01-2011 Through 14-01-2011",

}

RIS

TY - BOOK

T1 - Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

A2 - Glück, Robert

A2 - Henglein, Fritz

A2 - Hu, Zhenjiang

A2 - Takeichi, Masato

N1 - Conference code: 4

PY - 2011

Y1 - 2011

M3 - Anthology

T3 - Department of Computer Science. University of Copenhagen. Technical Report

BT - Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

PB - Department of Computer Science, University of Copenhagen

T2 - 4th DIKU-IST Joint Workshop on Foundations of Software

Y2 - 10 January 2011 through 14 January 2011

ER -

ID: 33324761