13th Alpine Verification Meeting (AVM)

Event name
13th Alpine Verification Meeting (AVM)
 
Event type
Event for scientific audience
 
Start date
09-09-2019
End date
11-09-2019
 
Location
Brno, Czech Republic
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Stankovic, Miroslav Automatic Analysis for Prob-Solvable LoopsPräsentation Presentation2019