Neural termination analysis
Mirco Giacobbe‚ Daniel Kroening and Julian Parsert
Book Title
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering‚ ESEC/FSE 2022‚ Singapore‚ Singapore‚ November 14−18‚ 2022
Editor
Abhik Roychoudhury and Cristian Cadar and Miryung Kim
Pages
633–645
Publisher
ACM
Year
2022