7th International Conference on Tests & Proofs
Event name
7th International Conference on Tests & Proofs
Event type
Event for scientific audience
Start date
18-06-2013
End date
19-06-2013
Location
Budapest
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Artho, Cyrille ; Seidl, Martina ; Biere, Armin | Model-Based Testing for Verification Back-Ends | Konferenzbeitrag Inproceedings  | 2013 |