Parameterized Recursive Refinement Types for Automated Program Verification. - Ryoya Mukai; Naoki Kobayashi 001; Ryosuke Sato 001 (SAS, 2022)