@INPROCEEDINGS{Oda&16b,
  KEY           = "Oda\&16b",
  AUTHOR        = "Tomohiro Oda and Keijiro Araki",
  TITLE         = "{Automated Generation of Smalltalk Programs from VDM-SL Specification (In Japanese)}",
  BOOKTITLE     = "Proceedings of Software Symposium 2016",
  YEAR          = "2016",
  MONTH         = "Jun",
  PAGES         = "1-10",
  ADDRESS       = "Yonago, Japan",
  COMMENT       = "Best Paper award"}

%G VDM OVERTURE TOOL

{"_id":"eciDxTKT2haE5GrJr","bibbaseid":"oda-araki-automatedgenerationofsmalltalkprogramsfromvdmslspecificationinjapanese-2016","downloads":0,"creationDate":"2016-11-10T12:01:06.924Z","title":"Automated Generation of Smalltalk Programs from VDM-SL Specification (In Japanese)","author_short":["Oda, T.","Araki, K."],"year":2016,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Oda&16b","author":[{"firstnames":["Tomohiro"],"propositions":[],"lastnames":["Oda"],"suffixes":[]},{"firstnames":["Keijiro"],"propositions":[],"lastnames":["Araki"],"suffixes":[]}],"title":"Automated Generation of Smalltalk Programs from VDM-SL Specification (In Japanese)","booktitle":"Proceedings of Software Symposium 2016","year":"2016","month":"Jun","pages":"1-10","address":"Yonago, Japan","comment":"Best Paper award","bibtex":"@INPROCEEDINGS{Oda&16b,\n KEY = \"Oda\\&16b\",\n AUTHOR = \"Tomohiro Oda and Keijiro Araki\",\n TITLE = \"{Automated Generation of Smalltalk Programs from VDM-SL Specification (In Japanese)}\",\n BOOKTITLE = \"Proceedings of Software Symposium 2016\",\n YEAR = \"2016\",\n MONTH = \"Jun\",\n PAGES = \"1-10\",\n ADDRESS = \"Yonago, Japan\",\n COMMENT = \"Best Paper award\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Oda, T.","Araki, K."],"id":"Oda&16b","bibbaseid":"oda-araki-automatedgenerationofsmalltalkprogramsfromvdmslspecificationinjapanese-2016","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["automated","generation","smalltalk","programs","vdm","specification","japanese","oda","araki"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}