Nils Anders Danielsson, Patrik Jansson. Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. In Dexter Kozen, Carron Shankland, editors, Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings. Volume 3125 of Lecture Notes in Computer Science, pages 85-109, Springer, 2004. [doi]
Abstract is missing.