@misc{Pa03,
AUTHOR = {Paul, W.J.},
TITLE = {Formal Verification of Processors and Low Level Software},
YEAR = {2003},
Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Pa03.pdf},
SCHOOL = {Universität des Saarlandes},
}