@INPROCEEDINGS{Agerholm&99,
  KEY           = "Agerholm\&99",
  AUTHOR        = "Sten Agerholm and Wendy Schafer",
  EDITOR        = "John Fitzgerald and Peter Gorm Larsen",
  TITLE         = "{Analyzing SAFER using UML and VDM++}",
  BOOKTITLE     = "VDM in Practice",
  YEAR          = "1999",
  MONTH         = "September",
  PAGES         = "139--141",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = "PGL"}

%G OVERTURE

{"_id":"ZB9cq4LJRCM44RGC4","bibbaseid":"agerholm-schafer-analyzingsaferusingumlandvdm-1999","downloads":0,"creationDate":"2016-06-27T19:36:48.174Z","title":"Analyzing SAFER using UML and VDM++","author_short":["Agerholm, S.","Schafer, W."],"year":1999,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Agerholm&99","author":[{"firstnames":["Sten"],"propositions":[],"lastnames":["Agerholm"],"suffixes":[]},{"firstnames":["Wendy"],"propositions":[],"lastnames":["Schafer"],"suffixes":[]}],"editor":[{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Analyzing SAFER using UML and VDM++","booktitle":"VDM in Practice","year":"1999","month":"September","pages":"139–141","note":"","annote":"","comment":"PGL","bibtex":"@INPROCEEDINGS{Agerholm&99,\n KEY = \"Agerholm\\&99\",\n AUTHOR = \"Sten Agerholm and Wendy Schafer\",\n EDITOR = \"John Fitzgerald and Peter Gorm Larsen\",\n TITLE = \"{Analyzing SAFER using UML and VDM++}\",\n BOOKTITLE = \"VDM in Practice\",\n YEAR = \"1999\",\n MONTH = \"September\",\n PAGES = \"139--141\",\n NOTE = \"\",\n ANNOTE = \"\",\n COMMENT = \"PGL\"}\n\n%G OVERTURE\n","author_short":["Agerholm, S.","Schafer, W."],"editor_short":["Fitzgerald, J.","Larsen, P. G."],"id":"Agerholm&99","bibbaseid":"agerholm-schafer-analyzingsaferusingumlandvdm-1999","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["analyzing","safer","using","uml","vdm","agerholm","schafer"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}