Automation of C Program Deductive Verification without Using Loop Invariants
Article in Programming and Computer Software (September 2022)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Programming and Computer Software (September 2022)
Article in International Journal on Software Tools for Technology Transfer (June 2021)
Book chapter (June 2020)