Journal of Automated Reasoning

, Volume 51, Issue 1, pp 1–2 | Cite as

Preface: Special Issue of Selected Extended Papers of CADE-23

Article

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  • Nikolaj Bjørner
    • 1
  • Viorica Sofronie-Stokkermans
    • 2
    • 3
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Universität Koblenz-LandauKoblenzGermany
  3. 3.Max-Planck-Institut für InformatikSaarbrückenGermany

Personalised recommendations