Design and Verification of Algorithms
Consulting services by Dr. Wojciech Fraczak