Metric Spaces and Termination Analyses
Aziem Chawdhary and Hongseok Yang
Address
Shanghai‚ China
Book Title
Proceedings of the 8th Asian Symposium on Programming Languages and Systems
ISBN
978−3−642−17163−5
Month
November
Pages
156–171
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
6461
Year
2010