ARiSE/VCLA Winter School on Verification

Event name
ARiSE/VCLA Winter School on Verification
 
Event type
Event for scientific audience
 
Start date
06-02-2012
End date
10-02-2012
 
Location
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura Automated Theorem Proving - An IntroductionPräsentation Presentation2012
2Kovacs, Laura Automated Theorem Proving - with some Applications to VerificationPräsentation Presentation2012