Correction to: A Unifying View on SMT-Based Software Verification

Abstract

The article “A Unifying View on SMT-Based Software Verification”, written by Dirk Beyer, Matthias Dangl, and Philipp Wendler, was originally published Online First without Open Access