Journal of Automated Reasoning

, Volume 51, Issue 1, pp 1–2

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

Authors

  • Nikolaj Bjørner
    • Microsoft Research
    • Universität Koblenz-Landau
    • Max-Planck-Institut für Informatik
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
  • 93 Views
Download to read the full article text

Copyright information

© Springer Science+Business Media Dordrecht 2013