@INPROCEEDINGS{Kurita15,
  KEY           = "Kurita15",
  AUTHOR        = "Taro Kurita",
  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",
  TITLE         = "{Advance in VDM Application to Development of Mobile FeliCa
                   IC Chip Firmware -- Toward Readable VDM Specification for
                   Reliable System and Good Relationships}",
  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         = "1-2",
  NOTE          = "GRACE-TR-2015-06",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM INTOCPSPUB OVERTURE

{"_id":"cgjpqtZ5fsTtFNiWx","bibbaseid":"kurita-advanceinvdmapplicationtodevelopmentofmobilefelicaicchipfirmwaretowardreadablevdmspecificationforreliablesystemandgoodrelationships-2015","downloads":0,"creationDate":"2015-06-29T10:05:17.442Z","title":"Advance in VDM Application to Development of Mobile FeliCa IC Chip Firmware – Toward Readable VDM Specification for Reliable System and Good Relationships","author_short":["Kurita, T."],"year":2015,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Kurita15","author":[{"firstnames":["Taro"],"propositions":[],"lastnames":["Kurita"],"suffixes":[]}],"editor":[{"firstnames":["Fuyuki"],"propositions":[],"lastnames":["Ishikawa"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Advance in VDM Application to Development of Mobile FeliCa IC Chip Firmware – Toward Readable VDM Specification for Reliable System and Good Relationships","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":"1-2","note":"GRACE-TR-2015-06","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Kurita15,\n KEY = \"Kurita15\",\n AUTHOR = \"Taro Kurita\",\n EDITOR = \"Fuyuki Ishikawa and Peter Gorm Larsen\",\n TITLE = \"{Advance in VDM Application to Development of Mobile FeliCa\n IC Chip Firmware -- Toward Readable VDM Specification for\n Reliable System and Good Relationships}\",\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 = \"1-2\",\n NOTE = \"GRACE-TR-2015-06\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM INTOCPSPUB OVERTURE\n","author_short":["Kurita, T."],"editor_short":["Ishikawa, F.","Larsen, P. G."],"id":"Kurita15","bibbaseid":"kurita-advanceinvdmapplicationtodevelopmentofmobilefelicaicchipfirmwaretowardreadablevdmspecificationforreliablesystemandgoodrelationships-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["advance","vdm","application","development","mobile","felica","chip","firmware","toward","readable","vdm","specification","reliable","system","good","relationships","kurita"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}