Axiomatic Proof Techniques for Parallel Programmes - Couverture rigide

Owicki, Susan Speer

 
9780824044138: Axiomatic Proof Techniques for Parallel Programmes