The 4th International Joint Conference on
Automated Reasoning

Cliff IJCAR 2008

10th-15th August 2008

2008.IJCAR.org

Sponsors

NICTA ANU MSResearch MSResearch MSResearch