Lab: "Formal Specification and Verification in Isabelle/HOL" in SS17

Markus Tasch
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 124
Registriert: 11. Sep 2015 10:57

Lab: "Formal Specification and Verification in Isabelle/HOL" in SS17

Beitrag von Markus Tasch » 5. Apr 2017 13:43

In the summer term 2017, the MAIS group (Prof. Mantel) offers the lab "Formal Specification and Verification in Isabelle/HOL" (6 CP, TUCaN Id: 20-00-0778-pr).

Further information can be found on the course webpage (http://www.mais.informatik.tu-darmstadt ... -ss17.html)

The joint introductory meeting for all labs and seminars will take place on Friday, April 21, 13:30-15:10 in E302.
IsabelleLab-Ad-SS17.png
IsabelleLab-Ad-SS17.png (114.84 KiB) 255 mal betrachtet
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Zurück zu „Archiv“