Verifying Recursive Programs Using Intraprocedural Analyzers.

Journal

Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Pages

118-133

Date Issued

2014

Author(s)

Chen, Yu-Fang

Hsieh, Chiao

Tsai, Ming-Hsien

Wang, Bow-Yaw

DOI

URI

URL

Type

conference paper