Pritom Rajkhowa, Fangzhen Lin. VIAP - Automated System for Verifying Integer Assignment Programs with Loops. In Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie, Tetsuo Ida, Stephen M. Watt, editors, 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017. pages 137-144, IEEE Computer Society, 2017. [doi]
Abstract is missing.