Analyzing SAFER using UML and VDM++. Agerholm, S. & Schafer, W. In Fitzgerald, J. & Larsen, P. G., editors, VDM in Practice, pages 139–141, September, 1999. bibtex @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
Downloads: 0
{"_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"]}