@PhdThesis{Jorgensen&16c,
  key =          "Jorgensen\&16c",
  author =       "Peter W. V. Tran-J{\o}rgensen",
  title =        "{Enhancing System Realisation in Formal Model
                 Development}",
  school =       "Aarhus University",
  year =         "2016",
  month =        sep,
  ISBN =         "987-87-7507-375-7",
}

%G VDM JML OVERTURE

{"_id":"x4yqbZAmmYDmkekdg","bibbaseid":"tranjrgensen-enhancingsystemrealisationinformalmodeldevelopment-2016","author_short":["Tran-Jørgensen, P. W. V."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","key":"Jorgensen&16c","author":[{"firstnames":["Peter","W.","V."],"propositions":[],"lastnames":["Tran-Jørgensen"],"suffixes":[]}],"title":"Enhancing System Realisation in Formal Model Development","school":"Aarhus University","year":"2016","month":"September","isbn":"987-87-7507-375-7","bibtex":"@PhdThesis{Jorgensen&16c,\n key = \"Jorgensen\\&16c\",\n author = \"Peter W. V. Tran-J{\\o}rgensen\",\n title = \"{Enhancing System Realisation in Formal Model\n Development}\",\n school = \"Aarhus University\",\n year = \"2016\",\n month = sep,\n ISBN = \"987-87-7507-375-7\",\n}\n\n%G VDM JML OVERTURE\n","author_short":["Tran-Jørgensen, P. W. V."],"id":"Jorgensen&16c","bibbaseid":"tranjrgensen-enhancingsystemrealisationinformalmodeldevelopment-2016","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"],"keywords":[],"search_terms":["enhancing","system","realisation","formal","model","development","tran-jørgensen"],"title":"Enhancing System Realisation in Formal Model Development","year":2016}