![](https://www.pdfsearch.io/img/9083bb34253f7e03cd5565df4b33b1cd.jpg) Date: 2010-11-22 00:52:19
| | Verification of Tree-Processing Programs via Higher-Order Model Checking Hiroshi Unno, Naoshi Tabuchi, and Naoki Kobayashi Tohoku University Abstract. We propose a new method to verify that a higher-order, treeprocessinAdd to Reading ListSource URL: www.cs.tsukuba.ac.jpDownload Document from Source Website File Size: 239,64 KBShare Document on Facebook
|