Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Gespeichert in:
1. Verfasser:
Joshi, Rajeev
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2012
ISBN:
9783642277054
ISSN:
0302-9743
Schlagworte:
Verifikation
Softwarespezifikation
Spezifikationssprache
Softwaretest
Programmanalyse
Programmverifikation
Formale Methode
Computer science
Software engineering
Logic design
Artificial intelligence
Bezugswerke:
Links: