Verification supported refactoring of embedded sql

Mirko Spasic, Milena Vujosevic-Janicic. Verification supported refactoring of embedded sql. Software Quality Journal, 29(3):629-665, 2021. [doi]

Abstract

Abstract is missing.