Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Gespeichert in:
1. Verfasser:
Bartocci, Ezio
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2013
Umfang:
X, 377 p
ISBN:
9783642391767
ISSN:
0302-9743
Schlagworte:
Model Checking
Programmverifikation
Computer science
Software engineering
Logic design
Bezugswerke:
Links: