@INPROCEEDINGS{Vermolen&10,
  KEY           = "Vermolden\&10",
  AUTHOR        = "Sander Vermolen and Jozef Hooman and Peter Gorm Larsen",
  TITLE         = "{Automating Consistency Proofs of VDM++ Models using HOL}",
  BOOKTITLE     = "Proceedings of the 25th Symposium on Applied Computing
                   (SAC 2010)",
  PUBLISHER     = "ACM",
  ADDRESS       = "Sierre, Switzerland",
  YEAR          = "2010",
  MONTH         = "March",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}

%G VDM VDM++ JML TOOL OVERTURE

{"_id":"cbKRWTrBAhyKByqW6","bibbaseid":"vermolen-hooman-larsen-automatingconsistencyproofsofvdmmodelsusinghol-2010","downloads":0,"creationDate":"2015-06-29T10:05:17.555Z","title":"Automating Consistency Proofs of VDM++ Models using HOL","author_short":["Vermolen, S.","Hooman, J.","Larsen, P. G."],"year":2010,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Vermolen&10","author":[{"firstnames":["Sander"],"propositions":[],"lastnames":["Vermolen"],"suffixes":[]},{"firstnames":["Jozef"],"propositions":[],"lastnames":["Hooman"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Automating Consistency Proofs of VDM++ Models using HOL","booktitle":"Proceedings of the 25th Symposium on Applied Computing (SAC 2010)","publisher":"ACM","address":"Sierre, Switzerland","year":"2010","month":"March","annote":"","comment":"I have the sources (PGL)","bibtex":"@INPROCEEDINGS{Vermolen&10,\n KEY = \"Vermolden\\&10\",\n AUTHOR = \"Sander Vermolen and Jozef Hooman and Peter Gorm Larsen\",\n TITLE = \"{Automating Consistency Proofs of VDM++ Models using HOL}\",\n BOOKTITLE = \"Proceedings of the 25th Symposium on Applied Computing\n (SAC 2010)\",\n PUBLISHER = \"ACM\",\n ADDRESS = \"Sierre, Switzerland\",\n YEAR = \"2010\",\n MONTH = \"March\",\n ANNOTE = \"\",\n COMMENT = \"I have the sources (PGL)\"}\n\n%G VDM VDM++ JML TOOL OVERTURE\n","author_short":["Vermolen, S.","Hooman, J.","Larsen, P. G."],"id":"Vermolen&10","bibbaseid":"vermolen-hooman-larsen-automatingconsistencyproofsofvdmmodelsusinghol-2010","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["automating","consistency","proofs","vdm","models","using","hol","vermolen","hooman","larsen"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}