Chasing Bottoms: A Case Study in Program Verification in the Presense of Partial and Infinite Values, in (2004)

by N Danielsson, P Jansson
Venue:Proceedings of the 7th International Conference on Mathematics of Program Construction