Alpine Verification Meeting

View Statistics Email Alert RSS Feed

Description

Event name
Alpine Verification Meeting
 
Event type
Event for scientific audience
 
Start date
14-03-2011
Location
IST Austria
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Author:  Veith, Helmut

Results 1-2 of 2 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Counter Attack against Byzantine GeneralsPräsentation Presentation2012
2Veith, Helmut How did you specify your test suite?Präsentation Presentation2011