[Lemma 1]

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.

Created with webify by  Rob Arthan [rda at lemma-one dot com]
Last updated: 2000/08/26
[Lemma 1]