Willem-Paul de Roever

2 books • 1 series

Nov 26, 2001
Cover of Concurrency Verification

Concurrency Verification (Cambridge Tracts in Theoretical Computer Science)

Dec 3, 1998
Cover of Data Refinement

Data Refinement (Cambridge Tracts in Theoretical Computer Science)