Saturation-Based Model Checking of Higher-Order Recursion Schemes.

Christopher H. Broadbent, Naoki Kobayashi

Browse the full CSL paper archive.