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)

208 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	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

Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software. / Glück, Robert (Editor); Henglein, Fritz (Editor); Hu, Zhenjiang (Editor) et al.
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 -