Solving Conditional Linear Recurrences for Program Verification: The Periodic Case

Published: 01 Jan 2023, Last Modified: 15 May 2023Proc. ACM Program. Lang. 2023Readers: Everyone

0 Replies