The COMPASS Proof Obligation Generator: A test case of Overture Extensibility. Couto, L. & Payne, R. In Proceedings of the 11th Overture Workshop, 2013. bibtex @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 VDM OVERTURE TOOL
Downloads: 0
{"_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://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/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 VDM OVERTURE TOOL\n","author_short":["Couto, L.","Payne, R."],"id":"Couto&13a","bibbaseid":"couto-payne-thecompassproofobligationgeneratoratestcaseofovertureextensibility-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["compass","proof","obligation","generator","test","case","overture","extensibility","couto","payne"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}