Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software

Research output: Book/Report › Anthology › Research

Standard

Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software. / Glück, Robert (Editor); Hagiya, Masami (Editor).

Department of Computer Science, University of Copenhagen, 2007. 172 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2007/07).

Research output: Book/Report › Anthology › Research

Harvard

Glück, R & Hagiya, M (eds) 2007, Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software. Department of Computer Science. University of Copenhagen. Technical Report, no. 2007/07, Department of Computer Science, University of Copenhagen. <https://www.diku.dk/forskning/Publikationer/tekniske_rapporter/2007/07-07.pdf>

APA

Glück, R., & Hagiya, M. (Eds.) (2007). Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software. Department of Computer Science, University of Copenhagen. Department of Computer Science. University of Copenhagen. Technical Report No. 2007/07 https://www.diku.dk/forskning/Publikationer/tekniske_rapporter/2007/07-07.pdf

Vancouver

Glück R, (ed.), Hagiya M, (ed.). Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software. Department of Computer Science, University of Copenhagen, 2007. 172 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2007/07).

Author

Glück, Robert (Editor) ; Hagiya, Masami (Editor). / Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software. Department of Computer Science, University of Copenhagen, 2007. 172 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2007/07).

Bibtex

@book{fd062680caab11dd9473000ea68e967b,

title = "Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software",

editor = "Robert Gl{\"u}ck and Masami Hagiya",

note = "DIKU, Department of Computer Science, University of Copenhagen. DIKU Report No. 07/07; 3rd DIKU-IST Joint Workshop on the Foundations of Software ; Conference date: 05-10-2007 Through 06-10-2007",

year = "2007",

language = "English",

series = "Department of Computer Science. University of Copenhagen. Technical Report",

number = "2007/07",

publisher = "Department of Computer Science, University of Copenhagen",

}

RIS

TY - BOOK

T1 - Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software

A2 - Glück, Robert

A2 - Hagiya, Masami

N1 - DIKU, Department of Computer Science, University of Copenhagen. DIKU Report No. 07/07

PY - 2007

Y1 - 2007

M3 - Anthology

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

BT - Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software

PB - Department of Computer Science, University of Copenhagen

T2 - 3rd DIKU-IST Joint Workshop on the Foundations of Software

Y2 - 5 October 2007 through 6 October 2007

ER -

ID: 9151220