1 citations to 10.1007/978-3-030-37487-7_20 (Crossref Cited-By Service)

1. D. A. Kondratyev, V. A. Nepomniaschy, “Automation of C Program Deductive Verification without Using Loop Invariants”, Program Comput Soft, 48, no. 5, 2022, 331