Chasing bottoms: A case study in program verification in the presence of partial and infinite values (2004)

by Nils Anders Danielsson, Patrik Jansson
Venue:In MPC 2004, volume 3125 of LNCS