SYNASC2019: 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
Nikolaj Bjorner
Organization: Microsoft
Web page: http://research.microsoft.com/~nbjorner
Pages in this Program
Program
Program for Friday, September 6th