Solving $\mathrm {LIA} ^\star $ Using Approximations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maxwell Levatich, Nikolaj Bjørner, Ruzica Piskac, Sharon Shoham. Solving $\mathrm {LIA} ^\star $ Using Approximations. In Dirk Beyer 0001, Damien Zufferey, editors, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Volume 11990 of Lecture Notes in Computer Science, pages 360-378, Springer, 2020. [doi]

This author has not been identified. Look up 'Maxwell Levatich' in GoogleThis author has not been identified. Look up 'Nikolaj Bjørner' in GoogleThis author has not been identified. Look up 'Ruzica Piskac' in GoogleThis author has not been identified. Look up 'Sharon Shoham' in Google

runs on WebDSL