Developer: Carnegie Mellon University
Contact: Bruce Krogh
Tool Website: Checkmate Website
This site conforms to the following standards: