@INPROCEEDINGS{Diswal&16,
  KEY           = "Diswal\&16",
  AUTHOR        = "Steffen Pham Diswal and Peter W.V. Tran-J{\o}rgensen and
                   Peter Gorm Larsen",
  TITLE         = "{Automated Generation of C\# and .NET Code Contracts
                    from VDM-SL Models}",
  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",
  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",
  ORGANIZATION  = "Aarhus University, Department of Engineering",
  PUBLISHER     = "",
  ADDRESS       = "Cyprus",
  YEAR          = "2016",
  MONTH         = "November",
  PAGES         = "32--47",
  NOTE          = "{ECE-TR-28}",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

{"_id":"NfXpiaKJYe49bAAvZ","bibbaseid":"diswal-tranjrgensen-larsen-automatedgenerationofcandnetcodecontractsfromvdmslmodels-2016","author_short":["Diswal, S. P.","Tran-Jørgensen, P. W.","Larsen, P. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Diswal&16","author":[{"firstnames":["Steffen","Pham"],"propositions":[],"lastnames":["Diswal"],"suffixes":[]},{"firstnames":["Peter","W.V."],"propositions":[],"lastnames":["Tran-Jørgensen"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Automated Generation of C# and .NET Code Contracts from VDM-SL Models","editor":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Nico"],"propositions":[],"lastnames":["Plat"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]}],"booktitle":"The 14th Overture Workshop: Towards Analytical Tool Chains","organization":"Aarhus University, Department of Engineering","publisher":"","address":"Cyprus","year":"2016","month":"November","pages":"32–47","note":"ECE-TR-28","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Diswal&16,\n KEY = \"Diswal\\&16\",\n AUTHOR = \"Steffen Pham Diswal and Peter W.V. Tran-J{\\o}rgensen and\n Peter Gorm Larsen\",\n TITLE = \"{Automated Generation of C\\# and .NET Code Contracts\n from VDM-SL Models}\",\n EDITOR = \"Peter Gorm Larsen and Nico Plat and Nick Battle\",\n BOOKTITLE = \"The 14th Overture Workshop: Towards Analytical Tool Chains\",\n ORGANIZATION = \"Aarhus University, Department of Engineering\",\n PUBLISHER = \"\",\n ADDRESS = \"Cyprus\",\n YEAR = \"2016\",\n MONTH = \"November\",\n PAGES = \"32--47\",\n NOTE = \"{ECE-TR-28}\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE\n","author_short":["Diswal, S. P.","Tran-Jørgensen, P. W.","Larsen, P. G."],"editor_short":["Larsen, P. G.","Plat, N.","Battle, N."],"id":"Diswal&16","bibbaseid":"diswal-tranjrgensen-larsen-automatedgenerationofcandnetcodecontractsfromvdmslmodels-2016","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"],"keywords":[],"search_terms":["automated","generation","net","code","contracts","vdm","models","diswal","tran-jørgensen","larsen"],"title":"Automated Generation of C# and .NET Code Contracts from VDM-SL Models","year":2016}