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 |
| Citations: | 7 - 1 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 |
