@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",
}

{"_id":"2CFft5DLkCr6wDtki","bibbaseid":"palmer-barrus-yang-gopalakrishnan-kirby-gaussaframeworkforverifyingscientificcomputingsoftware-2005","author_short":["Palmer, R.","Barrus, S.","Yang, Y.","Gopalakrishnan, G.","Kirby, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["R."],"propositions":[],"lastnames":["Palmer"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Barrus"],"suffixes":[]},{"firstnames":["Y."],"propositions":[],"lastnames":["Yang"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Gopalakrishnan"],"suffixes":[]},{"firstnames":["R.M."],"propositions":[],"lastnames":["Kirby"],"suffixes":[]}],"title":"Gauss: A Framework for Verifying Scientific Computing Software","booktitle":"Proceeding of the Software Model Checking Workshop","year":"2005","month":"July","location":"Edinburgh, Scotland","bibtex":"@InProceedings{SCI:Pal2005a,\n author = \"R. Palmer and S. Barrus and Y. Yang and G.\n Gopalakrishnan and R.M. Kirby\",\n title = \"Gauss: A Framework for Verifying Scientific\n Computing Software\",\n booktitle = \"Proceeding of the Software Model Checking\n Workshop\",\n year = \"2005\",\n month = \"July\",\n location = \"Edinburgh, Scotland\",\n}\n\n","author_short":["Palmer, R.","Barrus, S.","Yang, Y.","Gopalakrishnan, G.","Kirby, R."],"key":"SCI:Pal2005a","id":"SCI:Pal2005a","bibbaseid":"palmer-barrus-yang-gopalakrishnan-kirby-gaussaframeworkforverifyingscientificcomputingsoftware-2005","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.sci.utah.edu/publications/sci.bib","dataSources":["5G2skx26SJtreWr4m"],"keywords":[],"search_terms":["gauss","framework","verifying","scientific","computing","software","palmer","barrus","yang","gopalakrishnan","kirby"],"title":"Gauss: A Framework for Verifying Scientific Computing Software","year":2005}