COMPUTER AIDED VERIFICATION: 20TH INTERNATIONAL CONFERENCE, CAV 2008 PRINCETON, NJ, USA, JULY 7-14, 2008, PROCEEDINGS
SPRINGER
₹ 9,231.00
₹ 10,898.91
✻