Frank de Boer

1 book • 1 series

Nov 26, 2001
Cover of Concurrency Verification

Concurrency Verification (Cambridge Tracts in Theoretical Computer Science)