Lecture

Verified Functional Programming: Nicolas Voirol public PhD thesis defense