Open jff opened 5 years ago
Issue by esb-dev Friday Apr 12, 2019 at 09:03 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/44
Course code: TI5002 University hosting the course: THM Technische Hochschule Mittelhessen Contact person: Burkhardt Renz Concepts taught: Propositional Logic, SAT-Solving, Predicate Logic, Linear Temporal Logic, Natural Deduction Tools used: Logic Workbench, Alloy, SPIN, Jape Webpage: https://esb-dev.github.io/lfm.html
Course code: TI5002 University hosting the course: THM Technische Hochschule Mittelhessen Contact person: Burkhardt Renz Concepts taught: Propositional Logic, SAT-Solving, Predicate Logic, Linear Temporal Logic, Natural Deduction Tools used: Logic Workbench, Alloy, SPIN, Jape Webpage: https://esb-dev.github.io/lfm.html