单项选择题

We _______ a modular termination analysis for C programs using template-based inter-procedural summarization.

A. use
B. present
C. speak
D. see
微信扫码免费搜题