Cover Image
Read Now

1
Published 2021
Springer International Publishing
Table of Contents: “... Geometric Algorithm Verified Using PVS -- Program Sketching using Lifted Analysis for Numerical Program...”