Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, Sharon Shoham
Complexity and information in invariant inference
POPL, 2020.
@article{POPL-2020-FeldmanISS,
author = "Yotam M. Y. Feldman and Neil Immerman and Mooly Sagiv and Sharon Shoham",
doi = "10.1145/3371073",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{Complexity and information in invariant inference}",
volume = 4,
year = 2020,
}