Seminar ‘Functional Pearls’ – Information for Participants

Chair for Logic and Verification

What you need to hand in

Formal requirements

Peer Reviews