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
Recent Publications