Formal Methods Teaching Committee
The aim of the FME Teaching Committee is to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.
Pinned Repositories
fm-courses
List of Formal Methods Courses
fme-teaching.github.io
FM Teaching Committee Hugo Website Sources
hugo-academic-theme
FM Teaching Committee personalised version of the Hugo academic theme
utils
Utilities developed by the FM Teaching Committee
Formal Methods Teaching Committee's Repositories
fme-teaching/fm-courses
List of Formal Methods Courses
fme-teaching/fme-teaching.github.io
FM Teaching Committee Hugo Website Sources
fme-teaching/hugo-academic-theme
FM Teaching Committee personalised version of the Hugo academic theme
fme-teaching/utils
Utilities developed by the FM Teaching Committee