TY - BOOK
AU - VSTTE 3 2010 Edinburgh
AU - Leavens, Gary T.
TI - Verified software: theories, tools, experiments third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings
PB - Springer
SN - 364215056X
SN - 9783642150562
KW - Computer programs Verification Congresses
KW - Konferenzschrift 2010 Edinburgh
KW - Konferenzschrift 2011 Edinburgh
KW - Software
KW - Verifikation
KW - Softwaretest
KW - Programmanalyse
KW - Programmverifikation
KW - Formale Methode
PY - 2010
N2 - Literaturangaben
BT - Lecture notes in computer science ; 6217
CY - Berlin
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-631562117&tx_find_find%5Btype%5D=ris
ER -
Download citation