{"_id":"B9JGNZkRQnoAjDBno","bibbaseid":"margaria-steffen-leveragingapplicationsofformalmethodsverificationandvalidationdiscussiondisseminationapplications7thinternationalsymposiumisola2016imperialcorfugreeceoctober10142016proceedingspartii-2016","downloads":0,"creationDate":"2019-03-31T12:02:10.139Z","title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II","author_short":null,"year":2016,"bibtype":"proceedings","biburl":"https://dblp.org/pid/117/3450.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Tiziana"],"propositions":[],"lastnames":["Margaria"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Steffen"],"suffixes":[]}],"title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II","series":"Lecture Notes in Computer Science","volume":"9953","year":"2016","url":"https://doi.org/10.1007/978-3-319-47169-3","doi":"10.1007/978-3-319-47169-3","isbn":"978-3-319-47168-6","timestamp":"Tue, 23 May 2017 01:12:13 +0200","biburl":"https://dblp.org/rec/bib/conf/isola/2016-2","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/isola/2016-2,\n editor = {Tiziana Margaria and\n Bernhard Steffen},\n title = {Leveraging Applications of Formal Methods, Verification and Validation:\n Discussion, Dissemination, Applications - 7th International Symposium,\n ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,\n Part {II}},\n series = {Lecture Notes in Computer Science},\n volume = {9953},\n year = {2016},\n url = {https://doi.org/10.1007/978-3-319-47169-3},\n doi = {10.1007/978-3-319-47169-3},\n isbn = {978-3-319-47168-6},\n timestamp = {Tue, 23 May 2017 01:12:13 +0200},\n biburl = {https://dblp.org/rec/bib/conf/isola/2016-2},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Margaria, T.","Steffen, B."],"key":"DBLP:conf/isola/2016-2","id":"DBLP:conf/isola/2016-2","bibbaseid":"margaria-steffen-leveragingapplicationsofformalmethodsverificationandvalidationdiscussiondisseminationapplications7thinternationalsymposiumisola2016imperialcorfugreeceoctober10142016proceedingspartii-2016","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-47169-3"},"downloads":0},"search_terms":["leveraging","applications","formal","methods","verification","validation","discussion","dissemination","applications","7th","international","symposium","isola","2016","imperial","corfu","greece","october","2016","proceedings","part"],"keywords":[],"authorIDs":[],"dataSources":["CXr5PRHZ4E5hcekwd"]}