Richard Carver

Richard Carver is an Associate Professor in the Send e-mail to Professor Carver:

Research Interests:

• Specification, Testing, and Verification of Concurrent Programs