Algebra-Based Reasoning for Loop Synthesis

Open Webpage

Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács

Published: 2022, Last Modified: 13 Feb 2026Formal Aspects Comput. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0