Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. Francalanza, A. & Pace, G. J., editors Volume 254of EPTCS2017. Paper bibtex @proceedings{DBLP:journals/corr/abs-1708-06889,
editor = {Adrian Francalanza and
Gordon J. Pace},
title = {Proceedings Second International Workshop on Pre- and Post-Deployment
Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September
2017},
series = {{EPTCS}},
volume = {254},
year = {2017},
url = {http://arxiv.org/abs/1708.06889},
timestamp = {Mon, 13 Aug 2018 16:48:15 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1708-06889},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"WskR5Rat7LGC7oZZy","bibbaseid":"francalanza-pace-proceedingssecondinternationalworkshoponpreandpostdeploymentverificationtechniquesprepostifm2017torinoitaly19september2017-2017","downloads":0,"creationDate":"2019-03-14T12:11:49.511Z","title":"Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017","author_short":null,"year":2017,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Adrian"],"propositions":[],"lastnames":["Francalanza"],"suffixes":[]},{"firstnames":["Gordon","J."],"propositions":[],"lastnames":["Pace"],"suffixes":[]}],"title":"Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017","series":"EPTCS","volume":"254","year":"2017","url":"http://arxiv.org/abs/1708.06889","timestamp":"Mon, 13 Aug 2018 16:48:15 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1708-06889","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:journals/corr/abs-1708-06889,\n editor = {Adrian Francalanza and\n Gordon J. Pace},\n title = {Proceedings Second International Workshop on Pre- and Post-Deployment\n Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September\n 2017},\n series = {{EPTCS}},\n volume = {254},\n year = {2017},\n url = {http://arxiv.org/abs/1708.06889},\n timestamp = {Mon, 13 Aug 2018 16:48:15 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1708-06889},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Francalanza, A.","Pace, G. J."],"key":"DBLP:journals/corr/abs-1708-06889","id":"DBLP:journals/corr/abs-1708-06889","bibbaseid":"francalanza-pace-proceedingssecondinternationalworkshoponpreandpostdeploymentverificationtechniquesprepostifm2017torinoitaly19september2017-2017","role":"editor","urls":{"Paper":"http://arxiv.org/abs/1708.06889"},"downloads":0},"search_terms":["proceedings","second","international","workshop","pre","post","deployment","verification","techniques","prepost","ifm","2017","torino","italy","september","2017"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}