@INPROCEEDINGS{Couto&13a,
  KEY           = "Couto\&13",
  TITLE         = "{The COMPASS Proof Obligation Generator: A test case of Overture Extensibility}",
  AUTHOR        = "Couto, Lu{\'i}s Diogo and Payne, Richard",
  BOOKTITLE     = "Proceedings of the 11th Overture Workshop",
  YEAR          = "2013",
  COMMENT       = ""}

%G OVERTURE VDM

{"_id":"abrqeiQ7aFpfjbjhA","bibbaseid":"couto-payne-thecompassproofobligationgeneratoratestcaseofovertureextensibility-2013","downloads":0,"creationDate":"2016-06-27T19:36:48.185Z","title":"The COMPASS Proof Obligation Generator: A test case of Overture Extensibility","author_short":["Couto, L.","Payne, R."],"year":2013,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Couto&13a","title":"The COMPASS Proof Obligation Generator: A test case of Overture Extensibility","author":[{"propositions":[],"lastnames":["Couto"],"firstnames":["Luís Diogo"],"suffixes":[]},{"propositions":[],"lastnames":["Payne"],"firstnames":["Richard"],"suffixes":[]}],"booktitle":"Proceedings of the 11th Overture Workshop","year":"2013","comment":"","bibtex":"@INPROCEEDINGS{Couto&13a,\n KEY = \"Couto\\&13\",\n TITLE = \"{The COMPASS Proof Obligation Generator: A test case of Overture Extensibility}\",\n AUTHOR = \"Couto, Lu{\\'i}s Diogo and Payne, Richard\",\n BOOKTITLE = \"Proceedings of the 11th Overture Workshop\",\n YEAR = \"2013\",\n COMMENT = \"\"}\n\n%G OVERTURE VDM\n","author_short":["Couto, L.","Payne, R."],"id":"Couto&13a","bibbaseid":"couto-payne-thecompassproofobligationgeneratoratestcaseofovertureextensibility-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["compass","proof","obligation","generator","test","case","overture","extensibility","couto","payne"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}