OpenMP Fortran程序中的未指定行为的静态检测
OpenMP Fortran정서중적미지정행위적정태검측
Static Detection of Unspecified Behaviors in OpenMP Fortran Programs
저자의 최근 논문