Undefinedness in Z

These are thumbnail sketches of slides accompanying a paper on an experimental application of Z in the context of object code analysis. The talk was presented at ZB2000 in York.

You can zoom in on a slide by clicking it or or you can read them in order by starting at slide 1.