@INPROCEEDINGS{Ishikawa&09,
  KEY           = "Ishikawa\&09",
  AUTHOR        = "Fuyuki Ishikawa and Kenji Taguchi and Shinichi Honiden",
  TITLE         = "{How Top-Level Engineers Learn and Investigate
                    VDM: Experiences in the Top SE Project}",
  NOTE          = "The 7th Overture workshop at FM'09",
  YEAR          = "2009",
  MONTH         = "November",
  ANNOTE        = "",
  COMMENT       = "I have the source (PGL)"}

%G VDM OVERTURE

{"_id":"DJoKoN7sRCbfebXBi","authorIDs":[],"author_short":["Ishikawa, F.","Taguchi, K.","Honiden, S."],"bibbaseid":"ishikawa-taguchi-honiden-howtoplevelengineerslearnandinvestigatevdmexperiencesinthetopseproject-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Ishikawa&09","author":[{"firstnames":["Fuyuki"],"propositions":[],"lastnames":["Ishikawa"],"suffixes":[]},{"firstnames":["Kenji"],"propositions":[],"lastnames":["Taguchi"],"suffixes":[]},{"firstnames":["Shinichi"],"propositions":[],"lastnames":["Honiden"],"suffixes":[]}],"title":"How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project","note":"The 7th Overture workshop at FM'09","year":"2009","month":"November","annote":"","comment":"I have the source (PGL)","bibtex":"@INPROCEEDINGS{Ishikawa&09,\n KEY = \"Ishikawa\\&09\",\n AUTHOR = \"Fuyuki Ishikawa and Kenji Taguchi and Shinichi Honiden\",\n TITLE = \"{How Top-Level Engineers Learn and Investigate\n VDM: Experiences in the Top SE Project}\",\n NOTE = \"The 7th Overture workshop at FM'09\",\n YEAR = \"2009\",\n MONTH = \"November\",\n ANNOTE = \"\",\n COMMENT = \"I have the source (PGL)\"}\n\n%G VDM OVERTURE\n","author_short":["Ishikawa, F.","Taguchi, K.","Honiden, S."],"id":"Ishikawa&09","bibbaseid":"ishikawa-taguchi-honiden-howtoplevelengineerslearnandinvestigatevdmexperiencesinthetopseproject-2009","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.333Z","downloads":0,"keywords":[],"search_terms":["top","level","engineers","learn","investigate","vdm","experiences","top","project","ishikawa","taguchi","honiden"],"title":"How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project","year":2009,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}