@INPROCEEDINGS{Ribeiro&10,
  KEY           = "Ribeiro\&10",
  AUTHOR        = "Augusto Ribeiro and Peter Gorm Larsen",
  EDITOR        = "Jin Song and Huibiao",
  TITLE         = "{Proof Obligation Generation and Discharging for
                   Recursive Definitions in {VDM}}",
  BOOKTITLE     = "The 12th International Conference on Formal Engineering
                   Methods (ICFEM 2010)",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "2010",
  MONTH         = "November",
  ANNOTE        = "",
  COMMENT       = "I have the sources PGL"}

{"_id":{"_str":"53b7171e7cc42ee75e000447"},"__v":0,"authorIDs":[],"author_short":["Ribeiro, A.","Larsen, P. G."],"bibbaseid":"ribeiro-larsen-proofobligationgenerationanddischargingforrecursivedefinitionsinvdm-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Ribeiro&10","author":[{"firstnames":["Augusto"],"propositions":[],"lastnames":["Ribeiro"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"editor":[{"firstnames":["Jin"],"propositions":[],"lastnames":["Song"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Huibiao"],"suffixes":[]}],"title":"Proof Obligation Generation and Discharging for Recursive Definitions in VDM","booktitle":"The 12th International Conference on Formal Engineering Methods (ICFEM 2010)","publisher":"Springer-Verlag","year":"2010","month":"November","annote":"","comment":"I have the sources PGL","bibtex":"@INPROCEEDINGS{Ribeiro&10,\n KEY = \"Ribeiro\\&10\",\n AUTHOR = \"Augusto Ribeiro and Peter Gorm Larsen\",\n EDITOR = \"Jin Song and Huibiao\",\n TITLE = \"{Proof Obligation Generation and Discharging for\n Recursive Definitions in {VDM}}\",\n BOOKTITLE = \"The 12th International Conference on Formal Engineering\n Methods (ICFEM 2010)\",\n PUBLISHER = \"Springer-Verlag\",\n YEAR = \"2010\",\n MONTH = \"November\",\n ANNOTE = \"\",\n COMMENT = \"I have the sources PGL\"}\n \n","author_short":["Ribeiro, A.","Larsen, P. G."],"editor_short":["Song, J.","Huibiao"],"id":"Ribeiro&10","bibbaseid":"ribeiro-larsen-proofobligationgenerationanddischargingforrecursivedefinitionsinvdm-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://lausdahl.github.io/overturetool.github.io/publications/overtureweb.bib","creationDate":"2014-07-04T21:05:34.689Z","downloads":0,"keywords":[],"search_terms":["proof","obligation","generation","discharging","recursive","definitions","vdm","ribeiro","larsen"],"title":"Proof Obligation Generation and Discharging for Recursive Definitions in VDM","year":2010,"dataSources":["Ry4ofsSkWAkHhY8ov"]}