https://scholars.lib.ntu.edu.tw/handle/123456789/497137
Title: | CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution) | Authors: | Chen, Y.-F. Hsieh, C. Tsai, M.-H. Wang, B.-Y. FARN WANG |
Issue Date: | 2015 | Journal Volume: | 9035 | Start page/Pages: | 426-428 | Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497137 | DOI: | 10.1007/978-3-662-46681-0_35 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.