(1)
Pani, T.; Veith, H.; Zuleger, F. Loop Patterns in C Programs.
ECEASST
2015
,
72
.