252-0058-00L Formal Methods and Functional Programming

Semester	Spring Semester 2019
Lecturers	D. Basin, P. Müller, D. Traytel
Periodicity	yearly recurring course
Language of instruction	English

Number

Title

Hours

Lecturers

252-0058-00 V

Formal Methods and Functional Programming

4 hrs

Tue	10:15-12:00	HG G 5 »
Thu	10:15-12:00	HG G 5 »

D. Basin, P. Müller, D. Traytel

252-0058-00 U

Formal Methods and Functional Programming

2 hrs

Tue	13:15-15:00	CAB G 52 »
	13:15-15:00	CHN D 46 »
	13:15-15:00	NO D 11 »
	13:15-15:00	NO E 11 »
Wed	15:15-17:00	CAB G 59 »
	15:15-17:00	CHN D 42 »
	15:15-17:00	IFW A 34 »
	15:15-17:00	IFW C 33 »

D. Basin, P. Müller, D. Traytel