Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
“...) Theories, by Clark Barrett (NYU) and Cesare Tinelli (U Iowa). CAV 2005 had six a?liated workshops: – BMC...”