This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Continue readingThis volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Continue readingThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Continue reading