Spring School on Logic and Verification - LoVE

Event name
Spring School on Logic and Verification - LoVE
 
Event type
Event for scientific audience
 
Start date
15-04-2016
End date
17-04-2016
 
Location
Vienna, Austria
Country
Austria
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura First-Order Theorem Proving and VampirePr√§sentation Presentation2016