GitHub repository: runtime-verification/before-the-workshop
Primary language: TeX
Description: Collection of material BEFORE the workshop