JARV是什么意思

英文含义

JARV的全称：Java Application Programming Interface for RELAX Verifiers | 中文意思：───放松验证的Java应用程序编程接口