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

Cached

Download Links

by Nils Anders Danielsson , Patrik Jansson
Venue:In MPC 2004, volume 3125 of LNCS
Citations:9 - 2 self