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
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015