Invariant Inference with Provable Complexity from the Monotone Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yotam M. Y. Feldman, Sharon Shoham. Invariant Inference with Provable Complexity from the Monotone Theory. In Gagandeep Singh 0001, Caterina Urban, editors, Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings. Volume 13790 of Lecture Notes in Computer Science, pages 201-226, Springer, 2022. [doi]

This author has not been identified. Look up 'Yotam M. Y. Feldman' in GoogleThis author has not been identified. Look up 'Sharon Shoham' in Google

runs on WebDSL