Tomeki
Cover of Verified software

Verified software

theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings

By VSTTE 2010 (2010 Edinburgh, Scotland)

0 (0 Ratings)
0 Want to read0 Currently reading0 Have read

Publish Date

2010

Publisher

Springer

Language

eng

Pages

215

Description:

subjects: Programmverifikation,  Formale Methode,  Programmtest,  Congresses,  Verification,  Computer programs,  Software,  Verifikation,  Programmanalyse,  Logic design,  Software engineering,  Computer science,  Artificial intelligence,  Computer software, verification

Places: Edinburgh <2010>