2 ms·Hands on Software Verification Course with Focus on Functional Programming1 points by VStack 3y ago