@InProceedings{Fischer:WDSS08-?,
  author =       "Sabine Fischer",
  title =        "Formal Verification of a Big Integer Library",
  booktitle =    "Workshop on Dependable Software Systems at DATE'08",
  year =         "2008",
  URL =          "http://www-wjp.cs.uni-sb.de/publikationen/Fi08DATE.pdf",
}