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