Seite 1 von 1

Lab Course: Formal Specification and Verification in Isabelle/HOL

Verfasst: 14. Feb 2019 10:37
von tobias.hamann
In the summer term 2019, 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 ... -ss19.html)

The joint introductory meeting for all labs and seminars will be announced when it has been fixed and will presumably take place in the first week of teaching.
IsabelleLab-Ad-SS19.png (115.31 KiB) 199 mal betrachtet