International Workshop on Symbolic Computation and Software Verification (SCSV)

Event name
International Workshop on Symbolic Computation and Software Verification (SCSV)
 
Event type
Event for scientific audience
 
Start date
08-04-2010
End date
09-04-2010
 
Location
Tsukuba University, Japan
Country
 
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 Quantified Invariant Generation using Symbolic Computation and Theorem ProvingPr√§sentation Presentation2010