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