Publication · 2013

Facilitating Verification in Program Loops by Identification of Static Iteration Patterns

Aditya Desai, Era Jain, Subhajit Roy · APSEC 2013