13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

Event name
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
 
Event type
Event for scientific audience
 
Start date
26-09-2011
End date
29-09-2011
 
Location
Timisoara, Romania
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura ; Voronkov, Andrei Invariant Generation using Theorem ProvingPräsentation Presentation2011
2Kovacs, Laura Program Assertion Synthesis using Symbolic ComputationPräsentation Presentation2011
3Kovacs, Laura Symbol Elimination in Program AnalysisKonferenzbeitrag Inproceedings2012