Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Akifumi Imanishi
A Guess-And-Assume Approach to Loop Fusion for Program Verification
