Parallel Programming WS 2014/2015 - Slide 15ab
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
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