Towards Development of Overture/VDM++ to Java Code Generator. Maimaiti, M. Master's thesis, Aarhus University, Department of Computer Science, May, 2011. bibtex @MASTERSTHESIS{Maimaiti11,
KEY = "Maimaiti11",
AUTHOR = "Maihemutijiang Maimaiti",
TITLE = "Towards Development of Overture/VDM++ to Java Code
Generator",
SCHOOL = "Aarhus University",
ADDRESS = "Department of Computer Science",
YEAR = "2011",
MONTH = "May",
SIZE = "89",
ANNOTE = "",
COMMENT = "I have a copy (PGL)"}
%G VDM OVERTURE TOOL
Downloads: 0
{"_id":"RAWFbXEkn6yqx4TYB","authorIDs":[],"author_short":["Maimaiti, M."],"bibbaseid":"maimaiti-towardsdevelopmentofoverturevdmtojavacodegenerator-2011","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Maimaiti11","author":[{"firstnames":["Maihemutijiang"],"propositions":[],"lastnames":["Maimaiti"],"suffixes":[]}],"title":"Towards Development of Overture/VDM++ to Java Code Generator","school":"Aarhus University","address":"Department of Computer Science","year":"2011","month":"May","size":"89","annote":"","comment":"I have a copy (PGL)","bibtex":"@MASTERSTHESIS{Maimaiti11,\n KEY = \"Maimaiti11\",\n AUTHOR = \"Maihemutijiang Maimaiti\",\n TITLE = \"Towards Development of Overture/VDM++ to Java Code\n Generator\",\n SCHOOL = \"Aarhus University\",\n ADDRESS = \"Department of Computer Science\",\n YEAR = \"2011\",\n MONTH = \"May\",\n SIZE = \"89\",\n ANNOTE = \"\",\n COMMENT = \"I have a copy (PGL)\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Maimaiti, M."],"id":"Maimaiti11","bibbaseid":"maimaiti-towardsdevelopmentofoverturevdmtojavacodegenerator-2011","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.375Z","downloads":0,"keywords":[],"search_terms":["towards","development","overture","vdm","java","code","generator","maimaiti"],"title":"Towards Development of Overture/VDM++ to Java Code Generator","year":2011,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}