Roberto Pettinau

Contact

Prof. Dr. Christoph Matheja

www.cmath.eu

A03 202-a (» Adress and map)

whenever the door is open

+49 441 798-3051  (F&P) 

Secretary

Andrea Göken

A03 2-208 (» Adress and map)

dienstags, mittwochs, donnerstags 9 - 12 Uhr

+49 441 798-3121  (F&P) 

A03 02-208 (» Adress and map)

dienstags, mittwochs, donnerstags 9 - 12 Uhr

+49 441 798-3121  (F&P) 

Roberto Pettinau

Roberto Pettinau

uol.de/informatik

Lectures

Winter term 2026 / 2027

2.01.430 Automated Program Verification
2.01.492 Advances in Program Verification
2.01.800-G Proseminar: Entscheidungsprozeduren und Theorembeweiser
(Changed: 19 Sep 2026)  |  Kurz-URL:Shortlink: https://uol.de/p119119en
Zum Seitananfang scrollen Scroll to the top of the page

This page contains automatically translated content.