{"_id":"k5rJEo8FSKzvmiNS6","bibbaseid":"larsen-fitzgerald-theevolutionofvdmtoolsfromthe1990sto2015andtheinfluenceofcamila-2015","downloads":0,"creationDate":"2016-06-27T19:36:48.419Z","title":"The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA","author_short":["Larsen, P. G.","Fitzgerald, J."],"year":2015,"bibtype":"article","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","bibdata":{"bibtype":"article","type":"article","key":"Larsen&15a-1","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":"2015","month":"October","volume":"","number":"","pages":"","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&15a,\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 = \"2015\",\n MONTH = \"October\",\n VOLUME = \"\",\n NUMBER = \"\",\n PAGES = \"\",\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&15a-1","bibbaseid":"larsen-fitzgerald-theevolutionofvdmtoolsfromthe1990sto2015andtheinfluenceofcamila-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["evolution","vdm","tools","1990s","2015","influence","camila","larsen","fitzgerald"],"keywords":[],"authorIDs":[],"dataSources":["Ys3ykPbs2mksSbLyZ"]}