Browsing by Author
Showing results 1 to 1 of 1
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Bartocci, Ezio  ; Ramakrishnan, C.R. | Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of Software | Article Artikel   | 2016 |