@ARTICLE{Larsen&15b,
  KEY           = "Larsen\&15",
  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald",
  TITLE         = "{The evolution of VDM tools from the 1990s to 2015 and
                    the influence of CAMILA}",
  JOURNAL       = "Journal of Logical and Algebraic Methods in Programming",
  YEAR          = "2016",
  MONTH         = "August",
  VOLUME        = "85",
  NUMBER        = "5, Part 2",
  PAGES         = "985--998",
  ISSN          = "2352-2208",
  DOI           = "http://dx.doi.org/10.1016/j.jlamp.2015.10.001",
  ANNOTE        = "",
  COMMENT       = "BIB I have the sources (PGL)"}

%G INTOCPSPUB VDM TOOL OVERTURE

{"_id":"vJDHnS3d9f7KPpLX6","bibbaseid":"larsen-fitzgerald-theevolutionofvdmtoolsfromthe1990sto2015andtheinfluenceofcamila-2016","downloads":0,"creationDate":"2017-11-12T10:23:12.462Z","title":"The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA","author_short":["Larsen, P. G.","Fitzgerald, J."],"year":2016,"bibtype":"article","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"article","type":"article","key":"Larsen&15b","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]}],"title":"The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA","journal":"Journal of Logical and Algebraic Methods in Programming","year":"2016","month":"August","volume":"85","number":"5, Part 2","pages":"985–998","issn":"2352-2208","doi":"http://dx.doi.org/10.1016/j.jlamp.2015.10.001","annote":"","comment":"BIB I have the sources (PGL)","bibtex":"@ARTICLE{Larsen&15b,\n KEY = \"Larsen\\&15\",\n AUTHOR = \"Peter Gorm Larsen and John Fitzgerald\",\n TITLE = \"{The evolution of VDM tools from the 1990s to 2015 and\n the influence of CAMILA}\",\n JOURNAL = \"Journal of Logical and Algebraic Methods in Programming\",\n YEAR = \"2016\",\n MONTH = \"August\",\n VOLUME = \"85\",\n NUMBER = \"5, Part 2\",\n PAGES = \"985--998\",\n ISSN = \"2352-2208\",\n DOI = \"http://dx.doi.org/10.1016/j.jlamp.2015.10.001\",\n ANNOTE = \"\",\n COMMENT = \"BIB I have the sources (PGL)\"}\n\n%G INTOCPSPUB VDM TOOL OVERTURE\n","author_short":["Larsen, P. G.","Fitzgerald, J."],"id":"Larsen&15b","bibbaseid":"larsen-fitzgerald-theevolutionofvdmtoolsfromthe1990sto2015andtheinfluenceofcamila-2016","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["evolution","vdm","tools","1990s","2015","influence","camila","larsen","fitzgerald"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}