Software Modeling and Verification / exercices
Created :
September 18 2025
Updated :
September 18 2025
Academic year : 2025-2026
Centre universitaire d'informatique CUI
Directement rattaché au CUI
Expires at : September 18 2026
cours
published
| Title | Created at | Permission | published | visibility | Duration | # Views |
|---|---|---|---|---|---|---|
| Software Modeling and Verification / exercices | Thursday 18 September 2025 | unige_restricted | visible | 01h44'59'' | 13 | |
| Software Modeling and Verification / exercices | Thursday 18 September 2025 | unige_restricted | visible | 01h44'59'' | 7 | |
| Software Modeling and Verification / exercices | Friday 19 September 2025 | unige_restricted | visible | 01h44'59'' | 8 | |
| Software Modeling and Verification / exercices | Friday 26 September 2025 | unige_restricted | visible | 01h44'59'' | 13 | |
| Software Modeling and Verification / exercices | Friday 3 October 2025 | unige_restricted | visible | 01h44'59'' | 12 | |
| Software Modeling and Verification / exercices | Thursday 16 October 2025 | unige_restricted | visible | 01h44'59'' | 0 | |
| Software Modeling and Verification / exercices | Thursday 16 October 2025 | unige_restricted | visible | 01h44'59'' | 2 | |
| Software Modeling and Verification / exercices | Friday 17 October 2025 | unige_restricted | visible | 01h44'59'' | 4 | |
| Software Modeling and Verification / exercices | Thursday 11 December 2025 | unige_restricted | visible | 01h44'59'' | 0 |