×
  • Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

    Patrick Cousot (auth.) Berthe Y. Choueiry Toby Walsh (eds.)

7 - 8Hours to read