Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Publisher Herausgeber
Lecture Notes in Computer Science. Springer Verlag.
Place of publishing Erscheinungsort
7609
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Razavi, Niloofar ; Farzan, Azadeh ; Holzer, Andreas | Bounded-Interference Sequentialization for Testing Concurrent Programs | Konferenzbeitrag Inproceedings  | 2012 |