automatic program certification的意思|示意
美 / ˌɔ:təˈmætik ˈprəuɡræm ˌsɜ:təfɪˈkeɪʃən /
英 / ˌɔtəˈmætɪk ˈproˌɡræm ˌsətəfɪˈkeʃən /
[计]自动程序证明