Login / Signup

Automata-Based Abstraction Refinement for µHORS Model Checking.

Naoki KobayashiXin Li
Published in: LICS (2015)
Keyphrases