Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers Clarke Edmund M. Heftet / 2011 / Engelsk
Computer-Aided Verification 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings Clarke Edmund M. Heftet / 1991 / Engelsk
