FDD3024 Research preparation course in programming languages and formal methods

See the course website at: https://kth-step.github.io/plfm-course/