Advertisement

Deciding a Combination of Theories

  • Daniel Kroening
  • Ofer Strichman
Part of the Texts in Theoretical Computer Science book series (TTCS)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Daniel Kroening
    • 1
  • Ofer Strichman
    • 2
  1. 1.Computing LaboratoryUniversity of OxfordOxfordUnited Kingdom
  2. 2.William Davidson Faculty of Industrial Engineering and ManagementTechnion – Israel Institute of TechnologyTechnion CityIsrael

Personalised recommendations