![](https://www.pdfsearch.io/img/9e32b804fb4e96e9171859321fc746a9.jpg) Date: 2016-04-18 06:57:45
| | Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku UniversityAdd to Reading ListSource URL: www-kb.is.s.u-tokyo.ac.jpDownload Document from Source Website File Size: 379,18 KBShare Document on Facebook
|