author = { VSTTE 3 2010 Edinburgh Leavens, Gary T. },

title = { Verified software: theories, tools, experiments third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings },

publisher = {Springer},

isbn = {364215056X},

isbn = {9783642150562},

keywords = { Computer programs Verification Congresses , Konferenzschrift 2010 Edinburgh , Konferenzschrift 2011 Edinburgh , Software , Verifikation , Softwaretest , Programmanalyse , Programmverifikation , Formale Methode },

year = {2010},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 6217},

address = { Berlin },

url = { https://katalog.slub-dresden.de/en/?cHash=a8fa44d3bda0cb9d524c2f0ab6715df9&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-631562117&tx_find_find%5Btype%5D=bibtex }