2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Book title Buchtitel
2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Editor Herausgeber_in
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas ; Kovacs, Laura ; Zaharie, Daniela | vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification | Konferenzbeitrag Inproceedings  | 2015 |