Chen, Yu-FangYu-FangChenHsieh, ChiaoChiaoHsiehTsai, Ming-HsienMing-HsienTsaiWang, Bow-YawBow-YawWangFARN WANG2020-06-042020-06-042014https://scholars.lib.ntu.edu.tw/handle/123456789/497121Verifying Recursive Programs Using Intraprocedural Analyzers.conference paper10.1007/978-3-319-10936-7_8https://doi.org/10.1007/978-3-319-10936-7_8