Hierarchical Analysis of Loops With Relaxed Abstract Transformers | IEEE Journals & Magazine | IEEE Xplore