[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Automated Methods for Proving Program Termination and Liveness
Rybalchenko, AndreyYear:
2009
Language:
english
DOI:
10.1109/synasc.2009.70
File:
PDF, 136 KB
english, 2009