en | de

Einführung in Model Checking

Masterstudium

VO1  WS 2009/2010  703503

Introduction

The course covers the following topics:

Literature

The course is mainly based on the following book:

Language

The course is taught in English.