Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bjørner, N., Sofronie-Stokkermans, V. Preface: Special Issue of Selected Extended Papers of CADE-23. J Autom Reasoning 51, 1–2 (2013). https://doi.org/10.1007/s10817-013-9282-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-013-9282-9