@INPROCEEDINGS{Larsen&12a,
  KEY           = "Larsen\&12",
  AUTHOR        = "Peter Gorm Larsen and Joey W.\ Coleman and John Fitzgerald",
  EDITOR        = "Alexander K. Petrenko",
  TITLE         = "{Getting Software Engineering out of Isolation}",
  BOOKTITLE     = "SYRCoSE Software Engineering Colloquium",
  ADDRESS       = "Perm, Russia",
  YEAR          = "2012",
  MONTH         = "May",
  NOTE          = "ISBN 978-5-91474-019-8",
  PAGES         = "",
  ANNOTE        = "",
  COMMENT       = "BIB PGL I also have the sources"}

%G VDM TOOL OVERTURE

{"_id":{"_str":"53b7171e7cc42ee75e000440"},"__v":0,"authorIDs":[],"author_short":["Larsen, P. G.","Coleman, J. W.","Fitzgerald, J."],"bibbaseid":"larsen-coleman-fitzgerald-gettingsoftwareengineeringoutofisolation-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Larsen&12a","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Joey","W.\\"],"propositions":[],"lastnames":["Coleman"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]}],"editor":[{"firstnames":["Alexander","K."],"propositions":[],"lastnames":["Petrenko"],"suffixes":[]}],"title":"Getting Software Engineering out of Isolation","booktitle":"SYRCoSE Software Engineering Colloquium","address":"Perm, Russia","year":"2012","month":"May","note":"ISBN 978-5-91474-019-8","pages":"","annote":"","comment":"BIB PGL I also have the sources","bibtex":"@INPROCEEDINGS{Larsen&12a,\n KEY = \"Larsen\\&12\",\n AUTHOR = \"Peter Gorm Larsen and Joey W.\\ Coleman and John Fitzgerald\",\n EDITOR = \"Alexander K. Petrenko\",\n TITLE = \"{Getting Software Engineering out of Isolation}\",\n BOOKTITLE = \"SYRCoSE Software Engineering Colloquium\",\n ADDRESS = \"Perm, Russia\",\n YEAR = \"2012\",\n MONTH = \"May\",\n NOTE = \"ISBN 978-5-91474-019-8\",\n PAGES = \"\",\n ANNOTE = \"\",\n COMMENT = \"BIB PGL I also have the sources\"}\n\n%G VDM TOOL OVERTURE\n","author_short":["Larsen, P. G.","Coleman, J. W.","Fitzgerald, J."],"editor_short":["Petrenko, A. K."],"id":"Larsen&12a","bibbaseid":"larsen-coleman-fitzgerald-gettingsoftwareengineeringoutofisolation-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2014-07-04T21:05:34.597Z","downloads":0,"keywords":[],"search_terms":["getting","software","engineering","out","isolation","larsen","coleman","fitzgerald"],"title":"Getting Software Engineering out of Isolation","year":2012,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","Ry4ofsSkWAkHhY8ov","nGw4dfQFrDZqKC8vj"]}