Proceedings of the Second DIKU-IST Joint Workshop on Foundations of Software

Books

Similar books