Search results for: C. A. R. Hoare
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Concurrency and Refinement > 303-317
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Concurrency and Refinement > 303-317
Lecture Notes in Computer Science