| Fri, 01 Sep 2000 18:29:52 +0200 | nipkow | Completely new version of BCV | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Tue, 28 Sep 1999 16:36:12 +0200 | nipkow | A new theory: a model of bytecode verification. | file | diff | annotate |