Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs Yuma Matsumoto1 , Naoki Kobayashi1 , and Hiroshi Unno2 1 2 - Abstraction - Document - PDFSEARCH.IO

First Page	Meta Content
	Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs Yuma Matsumoto1 , Naoki Kobayashi1 , and Hiroshi Unno2 1 2 Add to Reading List Document Date: 2017-11-23 00:06:54 Open Document File Size: 342,27 KB Share Result on Facebook

Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs Yuma Matsumoto1 , Naoki Kobayashi1 , and Hiroshi Unno2 1 2Add to Reading List