Proc. of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Book title Buchtitel
Proc. of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Editor Herausgeber_in
Publisher Herausgeber
IEEE Computer Society
Place of publishing Erscheinungsort
IEEE Computer Society Order Number P4630, BMS Part Number: CFP11387-PRT
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura ; Wang, Dongming ; Negru, Viorel ; Ida, Tetsuo ; Jebelean, Tudor ; Petcu, Dana ; Watt, Stephen M. ; Zaharie, Daniela | Symbol Elimination in Program Analysis | Konferenzbeitrag Inproceedings | 2012 |