Axiomatic Proof Techniques for Parallel Programmes - Rilegato

Owicki, Susan Speer

 
9780824044138: Axiomatic Proof Techniques for Parallel Programmes