Proceedings of the 16th Overture Workshop. Pierce, K. & Verhoef, M., editors Volume Newcastle University. UK, October, 2018. CS-TR-1524-2018
Paper bibtex 1 download @PROCEEDINGS{Pierce&18a,
KEY = "Pierce\&18",
EDITOR = "Ken Pierce and Marcel Verhoef",
TITLE = "Proceedings of the 16th Overture Workshop",
PUBLISHER = "Newcastle University",
ADDRESS = "UK",
YEAR = "2018",
MONTH = "October",
NOTE = "CS-TR-1524-2018",
URL = "https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf",
ANNOTE = "",
COMMENT = ""
}
%G VDM OVERTURE TOOL
Downloads: 1
{"_id":"FDpuaBEQxrBXGMdgy","bibbaseid":"pierce-verhoef-proceedingsofthe16thovertureworkshop-2018","authorIDs":[],"bibdata":{"bibtype":"proceedings","type":"proceedings","key":"Pierce&18a","editor":[{"firstnames":["Ken"],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"Proceedings of the 16th Overture Workshop","publisher":"Newcastle University","address":"UK","year":"2018","month":"October","note":"CS-TR-1524-2018","url":"https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf","annote":"","comment":"","bibtex":"@PROCEEDINGS{Pierce&18a,\n KEY = \"Pierce\\&18\",\n EDITOR = \"Ken Pierce and Marcel Verhoef\",\n TITLE = \"Proceedings of the 16th Overture Workshop\",\n PUBLISHER = \"Newcastle University\",\n ADDRESS = \"UK\",\n YEAR = \"2018\",\n MONTH = \"October\",\n NOTE = \"CS-TR-1524-2018\",\n URL = \"https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf\",\n ANNOTE = \"\",\n COMMENT = \"\"\n}\n\n%G VDM OVERTURE TOOL\n","editor_short":["Pierce, K.","Verhoef, M."],"id":"Pierce&18a","bibbaseid":"pierce-verhoef-proceedingsofthe16thovertureworkshop-2018","role":"editor","urls":{"Paper":"https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"proceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2019-10-03T13:46:57.159Z","downloads":1,"keywords":[],"search_terms":["proceedings","16th","overture","workshop"],"title":"Proceedings of the 16th Overture Workshop","year":2018,"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}