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