-
Nutzerverwaltung fertigstellen - Project MilestoneJun 27, 2018–Jul 31, 2018Expired student-projects / bamapro-2018-ss
-
Sicherheitskritische Operationen - Project Milestoneexpired on Jul 8, 2018Expired student-projects / bamapro-2018-ss
-
Login implementieren - Project Milestoneexpired on Jul 1, 2018Expired student-projects / bamapro-2018-ss
-
Suche implementieren - Project Milestoneexpired on Jul 1, 2018Expired student-projects / bamapro-2018-ss
-
Neuen Header einbinden - Project Milestoneexpired on Jun 24, 2018Closed student-projects / bamapro-2018-ss
-
Complete Translation - Project MilestoneOpen student-projects / bamapro-2019-ss
-
switch from sbv to z3 lib - Project MilestoneOpen student-projects / bamapro-2019-ss
-
A tool for simple verifications - Project Milestonestarted on May 17, 2019Closed student-projects / bamapro-2019-ss
-
Specification of Conditions for elm-examples - Project Milestonestarted on May 3, 2019Closed student-projects / bamapro-2019-ss