Frank de Boer Jozef Hooman Willem Paul de Roever books & textbook
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
Frank de Boer Jozef Hooman Willem-Paul de Roever
Cambridge University Press /2011-01-01 Hardcover
