Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Parallel Programming WS 2014/2015 - Slide 15ab

Next Slide Previous Slide Next Slide

Objectives:
How to proof parallel programs

In the lecture:
Check the correctness of proofs

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014