Automatically Discharging VDM Proof Obligations using HOL. Vermolen, S. Master's thesis, Radboud University Nijmegen, Computer Science Department, August, 2007. bibtex @MASTERSTHESIS{Vermolen07,
KEY = "Vermolen07",
AUTHOR = "Sander Vermolen",
TITLE = "{Automatically Discharging VDM Proof Obligations using HOL}",
SCHOOL = "Radboud University Nijmegen",
ADDRESS = "Computer Science Department",
YEAR = "2007",
MONTH = "August",
SIZE = "115",
ANNOTE = "",
COMMENT = "I have the hard copy PGL"}
%G VDM PROOF TOOL OVERTURE
Downloads: 0
{"_id":"fZqW6QM8ytohNniR2","authorIDs":[],"author_short":["Vermolen, S."],"bibbaseid":"vermolen-automaticallydischargingvdmproofobligationsusinghol-2007","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Vermolen07","author":[{"firstnames":["Sander"],"propositions":[],"lastnames":["Vermolen"],"suffixes":[]}],"title":"Automatically Discharging VDM Proof Obligations using HOL","school":"Radboud University Nijmegen","address":"Computer Science Department","year":"2007","month":"August","size":"115","annote":"","comment":"I have the hard copy PGL","bibtex":"@MASTERSTHESIS{Vermolen07,\n KEY = \"Vermolen07\",\n AUTHOR = \"Sander Vermolen\",\n TITLE = \"{Automatically Discharging VDM Proof Obligations using HOL}\",\n SCHOOL = \"Radboud University Nijmegen\",\n ADDRESS = \"Computer Science Department\",\n YEAR = \"2007\",\n MONTH = \"August\",\n SIZE = \"115\",\n ANNOTE = \"\",\n COMMENT = \"I have the hard copy PGL\"}\n\n%G VDM PROOF TOOL OVERTURE\n","author_short":["Vermolen, S."],"id":"Vermolen07","bibbaseid":"vermolen-automaticallydischargingvdmproofobligationsusinghol-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T17:59:23.088Z","downloads":0,"keywords":[],"search_terms":["automatically","discharging","vdm","proof","obligations","using","hol","vermolen"],"title":"Automatically Discharging VDM Proof Obligations using HOL","year":2007,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}