Verified software: theories, tools and experiments

Daniel Kroening, Tiziana Margaria. Verified software: theories, tools and experiments. STTT, 12(6):405-408, 2010. [doi]

Abstract

Abstract is missing.