en | de

Program Verification

bachelor program

VO3 + PS2  SS 2022  703083 + 703084

Introduction

The lecture covers the following topics:

Language

English

Prerequisites

Knowledge about functional programming and logic.