Computer Aided Verification 12th International Conference, CAV 2000...

Price historyGukart just started tracking this item's price. Check back — we record it over time so you'll know if it's a good moment to buy.