Proceedings of the First DIKU-IST Joint Workshop on Foundations of Software
By: Robert Glück and Zhenjiang Hu (eds.).
Contributors: Glück, R. (Robert), 1961-
Series: Technical report -- no. 05/07
Publisher: HCO Tryk
Published: 2005
Place of publication: Copenhagen
Language: eng
Number of pages: 165