@inproceedings{Paul05, <br>AUTHOR = {Paul, W.J.},<br>TITLE = {Towards a Worldwide Verification Technology},<br>VOLUME = {4171}, <br>YEAR = {2005},<br>PAGES = {19-25}, <br><br />
<b>Warning</b>:  Undefined variable $SERVER_NAME in <b>/www/www-wjp/includes/bibtexentry.php</b> on line <b>42</b><br />
URL = {http:///publikationen/Paul05.pdf}, <br>SERIES = {Lecture Notes in Computer Science},<br>BOOKTITLE = {Verified Software: Theories, Tools, Experiments -- First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions}, <br>PUBLISHER = {Springer Berlin Heidelberg},<br>EDITOR = {Bertrand Meyer and Jim Woodcock

},<br>EE = {http://dx.doi.org/10.1007/978-3-540-69149-5_2},<br>}