Dmitry A. Kondratyev, Valery A. Nepomniaschy. Automation of C Program Deductive Verification without Using Loop Invariants. Programming and Computer Software, 48(5):331-346, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.