MATF-Software-Verification
Collection of materials and team projects for Software Verification course at Faculty of Mathematics, University of Belgrade
- 13 followers
- Faculty of Mathematics, University Belgrade, Serbia
- http://www.verifikacijasoftvera.matf.bg.ac.rs/
Pinned Loading
Repositories
Showing 10 of 190 repositories
- 2026_Analysis_libcsv Public
MATF-Software-Verification/2026_Analysis_libcsv’s past year of commit activity - 2026_Analysis_g3log Public
MATF-Software-Verification/2026_Analysis_g3log’s past year of commit activity - 2026_Analysis_cascadia Public
MATF-Software-Verification/2026_Analysis_cascadia’s past year of commit activity - 2026_Research_ASTroSuggest Public
MATF-Software-Verification/2026_Research_ASTroSuggest’s past year of commit activity - 2026_Analysis_20-circa2020 Public
MATF-Software-Verification/2026_Analysis_20-circa2020’s past year of commit activity - 2026_Analysis_csv-parser Public
MATF-Software-Verification/2026_Analysis_csv-parser’s past year of commit activity - 2026_Analysis_ChatterBot Public
MATF-Software-Verification/2026_Analysis_ChatterBot’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…