XX_664702 Semantics and Verification - Aalborg University

Faculty of Informatics
Spring 2011

The course is not taught in Spring 2011

Extent and Intensity
0/0. 19 credit(s). Type of Completion: zk (examination).
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
Language of instruction
English
  • Permalink: https://is.muni.cz/course/fi/spring2011/XX_664702