TY  - BOOK
AU  - Fanqi Meng and Xiaohong Su
TI  - Reducing WCET Overestimations by Correcting Errors in Loop Bound Constraints
KW  - Computer science, information & general works
UR  - https://new.zodml.org/sites/default/files/2023-08/reduci1%20%281%29.pdf
ER  -