Loop Summarization and Termination Analysis

In  Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Publisher  Springer Verlag

Details

TypeInproceedings
URLhttp://www.springerlink.com/content/a35338128w549779/
Pages81-95
Volume6605
SeriesLNCS
> Publications > Loop Summarization and Termination Analysis