1 paper
Hiroshi Unno, Sho Torii
Verification problems of programs written in various paradigms (such as imperative, logic, concurrent, functional, and object-oriented ones) can be reduced to problems of solving H…