MATF-Software-Verification
Collection of materials and team projects for Software Verification course at Faculty of Mathematics, University of Belgrade
- 9 followers
- Faculty of Mathematics, University Belgrade, Serbia
- http://www.verifikacijasoftvera.matf.bg.ac.rs/
Pinned Loading
Repositories
Showing 10 of 145 repositories
- 2024_Analysis_CocktailsDbApp Public
MATF-Software-Verification/2024_Analysis_CocktailsDbApp’s past year of commit activity - 2024_Analysis_dagger-relic Public
MATF-Software-Verification/2024_Analysis_dagger-relic’s past year of commit activity - 2024_Analysis_kOrganizify Public
MATF-Software-Verification/2024_Analysis_kOrganizify’s past year of commit activity - 2023_Analysis_13-Git-stat Public
MATF-Software-Verification/2023_Analysis_13-Git-stat’s past year of commit activity - 2024_Analysis_MatfTunes Public
MATF-Software-Verification/2024_Analysis_MatfTunes’s past year of commit activity - 2023_Analysis_06-catan Public
MATF-Software-Verification/2023_Analysis_06-catan’s past year of commit activity - 2024_Research_Clang-checks Public
MATF-Software-Verification/2024_Research_Clang-checks’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…