DMCA

Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking

Cached

Download Links

by Kazuhide Yasukata , Naoki Kobayashi , Kazutaka Matsuda