Journal of Automated Reasoning

, Volume 51, Issue 1, pp 1–2

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

Article

DOI: 10.1007/s10817-013-9282-9

Cite this article as:
Bjørner, N. & Sofronie-Stokkermans, V. J Autom Reasoning (2013) 51: 1. doi:10.1007/s10817-013-9282-9
  • 95 Downloads

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