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

Robert Glück; Fritz Henglein; Zhenjiang Hu; Masato Takeichi

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

Robert Glück (Editor), Fritz Henglein (Editor), Zhenjiang Hu (Editor), Masato Takeichi (Editor)

Department of Computer Science

Research output: Book/Report › Anthology › Research

394 Downloads (Pure)

Original language	English

Publisher	Department of Computer Science, University of Copenhagen
Number of pages	280
Publication status	Published - 2011
Event	4th DIKU-IST Joint Workshop on Foundations of Software - Tokyo, Japan Duration: 10 Jan 2011 → 14 Jan 2011 Conference number: 4

Series	Department of Computer Science. University of Copenhagen. Technical Report
Number	2011/01
ISSN	0107-8283

Conference

Conference	4th DIKU-IST Joint Workshop on Foundations of Software
Number	4
Country/Territory	Japan
City	Tokyo
Period	10/01/2011 → 14/01/2011

Access to Document

Gluck_ED_2011_Proceedings_of_DIKU_IST_WorkshopFinal published version, 11.3 MBLicence: Unspecified

Cite this

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/Report › Anthology › Research

@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",

}

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 -