Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Zhang Baofeng

Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods

Journal of Software

English