Presentation for workshop for summer school of formal methods, model-checking and FP - Lalambda2021
Creative Commons Zero v1.0 UniversalCC0-1.0