@INPROCEEDINGS{Oda&15b,
  KEY           = "Oda\&15",
  AUTHOR        = "Tomohiro Oda and Yasuhiro Yamomoto and Kumiyo Nakakoji and
                   Kenjiro Araki and Peter Gorm Larsen",
  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",
  TITLE         = "{VDM Animation for a Wider Range of Stakeholders}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "18-32",
  NOTE          = "{GRACE-TR-2015-06}",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

{"_id":"7d84fAEFJLFy28Xqt","bibbaseid":"oda-yamomoto-nakakoji-araki-larsen-vdmanimationforawiderrangeofstakeholders-2015","downloads":0,"creationDate":"2015-06-29T10:05:17.503Z","title":"VDM Animation for a Wider Range of Stakeholders","author_short":["Oda, T.","Yamomoto, Y.","Nakakoji, K.","Araki, K.","Larsen, P. G."],"year":2015,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Oda&15b","author":[{"firstnames":["Tomohiro"],"propositions":[],"lastnames":["Oda"],"suffixes":[]},{"firstnames":["Yasuhiro"],"propositions":[],"lastnames":["Yamomoto"],"suffixes":[]},{"firstnames":["Kumiyo"],"propositions":[],"lastnames":["Nakakoji"],"suffixes":[]},{"firstnames":["Kenjiro"],"propositions":[],"lastnames":["Araki"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"editor":[{"firstnames":["Fuyuki"],"propositions":[],"lastnames":["Ishikawa"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"VDM Animation for a Wider Range of Stakeholders","booktitle":"Proceedings of the 13th Overture Workshop","publisher":"Center for Global Research in Advanced Software Science and Engineering","address":"National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan","year":"2015","month":"June","pages":"18-32","note":"GRACE-TR-2015-06","url":"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Oda&15b,\n KEY = \"Oda\\&15\",\n AUTHOR = \"Tomohiro Oda and Yasuhiro Yamomoto and Kumiyo Nakakoji and\n Kenjiro Araki and Peter Gorm Larsen\",\n EDITOR = \"Fuyuki Ishikawa and Peter Gorm Larsen\",\n TITLE = \"{VDM Animation for a Wider Range of Stakeholders}\",\n BOOKTITLE = \"Proceedings of the 13th Overture Workshop\",\n PUBLISHER = \"Center for Global Research in Advanced Software Science\n and Engineering\",\n ADDRESS = \"National Institute of Informatics, 2-1-2 Hitotsubashi,\n Chiyoda-Ku, Tokyo, Japan\",\n YEAR = \"2015\",\n MONTH = \"June\",\n PAGES = \"18-32\",\n NOTE = \"{GRACE-TR-2015-06}\",\n URL = \"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Oda, T.","Yamomoto, Y.","Nakakoji, K.","Araki, K.","Larsen, P. G."],"editor_short":["Ishikawa, F.","Larsen, P. G."],"id":"Oda&15b","bibbaseid":"oda-yamomoto-nakakoji-araki-larsen-vdmanimationforawiderrangeofstakeholders-2015","role":"author","urls":{"Paper":"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["vdm","animation","wider","range","stakeholders","oda","yamomoto","nakakoji","araki","larsen"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}