Login / Signup

Facilitating Verification in Program Loops by Identification of Static Iteration Patterns.

Aditya DesaiEra JainSubhajit Roy
Published in: APSEC (1) (2013)
Keyphrases