Proceedings of the Second DIKU-IST Joint Workshop on Foundations of Software
By: Robert Glück and Zhenjiang Hu (eds.).
Contributors: Glück, Robert.
Series: Technical report -- no. 06/07
Publisher: University of Copenhagen, Department of Computer Science
Published: 2006
Place of publication: Copenhagen
Language: eng
Number of pages: 174