@InProceedings{SCI:Pal2005a,
  author =    "R. Palmer and S. Barrus and Y. Yang and G.
              Gopalakrishnan and R.M. Kirby",
  title =     "Gauss: A Framework for Verifying Scientific
              Computing Software",
  booktitle = "Proceeding of the Software Model Checking
              Workshop",
  year =      "2005",
  month =     "July",
  location =  "Edinburgh, Scotland",
}