Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France | DealShopping France