Decision Procedures. An Algorithmic Point of View2nd editionDaniel Kroening, Ofer StrichmanGrand Format80,24 €