Lane - Computer Supported Education 12th International Conference C - X555z

Christakis - Software Verification 12th International Conference VS - X555z

Tzovaras - Computer Vision Systems 12th International Conference IC - X555z

Cabello - Software Technologies 12th International Joint Conference - X555z

Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL

Fitzgibbon - Computer Vision - ECCV 2012 12th European Conference on - X555z

Etessami - Computer Aided Verification 17th International Conference - X555z

Kaliszyk - Intelligent Computer Mathematics 12th International Confe - X555z