

Trends in Functional Programming
431,-

Trends in Functional Programming
584,-

Trends in Functional Programming
458,-

Trends in Functional Programming
584,-

Automated Technology for Verification and Analysis
584,-

Functional and Constraint Logic Programming
584,-

Programming Languages and Systems
674,-

Hardware and Software: Verification and Testing
512,-

Hardware and Software
476,-

Programming Languages and Systems
674,-

Trends in Functional Programming
431,-

Trends in Functional Programming
584,-

Trends in Functional Programming
458,-

Trends in Functional Programming
584,-

Automated Technology for Verification and Analysis
584,-

Functional and Constraint Logic Programming
584,-

Programming Languages and Systems
674,-

Hardware and Software: Verification and Testing
512,-

Hardware and Software
476,-

Programming Languages and Systems
674,-















