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

Document Versions

Chasing bottoms: A case study in program verification in the presence of partial and infinite values –Nils Anders Danielsson, Patrik Jansson — 2004 — In MPC 2004, volume 3125 of LNCS