GitHub repository: FTSRG/swsv
Primary language: TeX
Description: Software and Systems Verification (VIMIMA01) course