Professor Rance Cleaveland, Ph.D.

Address University of Maryland
Department of Computer Science
8125 Paint Branch Drive
College Park MD 20742
USA

Projects

As Cooperation Partner
- Completed projects
  - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic (Research Grants)