%0 Book
%T Verified software: theories, tools, experiments third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings
%A VSTTE 3 2010 Edinburgh
%A Leavens, Gary T.
%I Springer
%@ 364215056X
%@ 9783642150562
%K Computer programs Verification Congresses
%K Konferenzschrift 2010 Edinburgh
%K Konferenzschrift 2011 Edinburgh
%K Software
%K Verifikation
%K Softwaretest
%K Programmanalyse
%K Programmverifikation
%K Formale Methode
%D 2010
%X Literaturangaben
%C Springer
%C Berlin
%U https://katalog.slub-dresden.de/en/?cHash=d436d54d7a76fc6fe03d5b8c85ebf4cf&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-631562117&tx_find_find%5Btype%5D=endnote
Download citation