Hands on Software Verification Course with Focus on Functional Programming

mathematicaltalent.com