![](/img/cover-not-exists.png)
[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Using invariant relations in the termination analysis of while loops
Ghardallou, WidedYear:
2012
Language:
english
DOI:
10.1109/icse.2012.6227047
File:
PDF, 496 KB
english, 2012