Title: Proceedings of the Second DIKU-IST Joint Workshop on Foundations of Software
First published: 2006
LC classification: MLCM 2007/41688 (T)