[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - VIAP - Automated System for Verifying Integer Assignment Programs with Loops
Rajkhowa, Pritom, Lin, FangzhenYear:
2017
Language:
english
DOI:
10.1109/synasc.2017.00032
File:
PDF, 149 KB
english, 2017