@InProceedings{Paul:VSTTE05-19,
  author =       "Wolfgang Paul",
  title =        "Towards a Worldwide Verification Technology",
  booktitle =    "First IFIP TC 2/WG 2.3 Conference on Verified
                 Software: Theories, Tools, Experiments (VSTTE 2005),
                 October 10--13, 2005, Revised Selected Papers and
                 Discussions",
  address =      "Z{\"u}rich, Switzerland",
  year =         "2008",
  month =        jun,
  volume =       "4171",
  pages =        "19--25",
  publisher =    "Springer",
  ee =           "http://www.springerlink.com/content/3528451v16112130",
  URL =          "http://www.verisoft.de/.rsrc/PublikationSeite/PaulVSTTE05-final.pdf",
}